Scope.scopeToTypeMap
FlatComposite.toComposite/fromComposite
Lamdu.{Infer.Internal=>Expr}.FlatComposite