Separated contexts for the following:
- typeschemes (let bindings)
- type variables (regular variables in simply typed lambda calc)
- time variables (bound to a certain quantifier)