problem with contexts!

- types in the type context can depend on values in the kind
  context!
  - Fixes this requires a new notion of contexts (and breaks the
    functor completely).
  - Ultimately this should not be a functor. It can be partially
    evaluated later on.
- Bug fix in [typ_lift]