CHECKPOINT Starting on a proper type parser.
The type parser has all the basic cases working now.

I still have to integrate it.