Initial internal type representation and Unbound boilerplate
Started on elaboration for types.

Had to get rid of Data and Typeable because RepLib doesn't provide
Typeable instances.