start implementing local expansion for typed unit body
fix bad merge with unit-prims
intermediate commit, rebase later
fix bad merge
factor out subtyping helpers to break cyclic module dependency
implement a local signature environment to try to deal with name mapping in unit expansion