Add Int32, Int64 and Int8 types

[johnynek]

External types that model direct machine types would be useful. That said, it might be better to optimize "number like" Enums such that we can model these with enums but get the efficiency of a built in type.