Types now have an internal number to identify them.

This is because you can have multiple instances of bool etc. but still need to identify them as the same type.
Added comparison operator for types.