Make Int and UInt machine word-sized, distinct from Int32/UInt32/etc.

[ramonasuncion]

Joe: The Int and UInt types should be equivalent to the current PtrInt and UPtrInt aliases, but made strongly-typed so that nonportable code that tries to mix pointer- and explicit-sized integer types requires explicit conversion.