Get UnitIntroP to typecheck, prepare for combinators