sketch out what an Int type could look like in the prelude

More intended for conversation but illustrates what I'd like to see in Prelude. There's a guarantee that an `Int` will always be integral so it's much safer to use for things like array indexing, case matching, etc.