need higher base
Ter -> VLam
fix concrete syntax
clarify what we do with annotated lambdas
put closures back