TypeID

We now have types
Casting

Signed some ints.