start with test11
baby step for self types
trying to model self types with hypothetical judgements

seems a bit difficult because we can't easily invoke relations
like transitivity from inside a function we're constructing