Introduce VarInContext type family
Move emptyContext to Syntax
Add IsContext typeclass
Add ToDocM