- Allows specifying the size of types in gentermoftype separately
- gentermoftype can use type variables from the env when generating
arrow terms
- Add not-fully-functioning generation of TmTApp terms. It does
currently not handle free variables properly.