Completely rewrite Types module according to the api suggestion
Rename GenContext -> ExpGen and start work on refactoring according to new api
Add show instances to data types
Add thToType (TH.Type to Type dummy function) and fix imports and exports
Move orphan Lift instances to separate module