Support true type system

[bit-hack]

Currently, the compiler has no true concept of types. Every storage location is an integer and intermediate values are all integers too. Pointer decls are also meaningless, and are treated as addresses cast to integers currently.

Implement a true type system and raise semantic errors when appropriate.