Re: Not-so-distinct types

[andrea]

Type1 and Type2 are not distinct types, they are just aliases. You are 
declaring a different name for the same type uint32, there is no subtyping here