@dmitry.petrov: and I think, judging from a comment I saw somewhere by Andrey, that type aliases will be assignment compatible. So you cannot create a specialised Int and have errors or warnings when attempting to assign across