Update lift-types module
Change types docs
Add definitions of some types
The unit type is not a scalar
Add include guard
Update emitType, createDefaultTEnv