Expression embedder
Start converting surface types
Expression embeder
Binder typeclass
Captured typeclass
Expression checker