Major refactor of the type system and codegen to provide more robust type
checking which will hopefully allow us to get product type support Real Soon
Now^TM :)