fix ∧.
Type well-formedness.
Merge branch 'fix-ty-well-formed'