separate form for constructors
use separate type for syntactic sugar
Kant.Syntax => Kant.Term
shorten constructor names
stubs for desugaring