Return (hopefully) correct normalforms while typechecking)