Initial implementation of a proper type system.

* Helper functions for typed assignment/convertion
* int8, uint8, int16, uint16, int32, uint32 definitions and basic arithmetic
operations are supported
* Better type checks and error messages