Simplify type-checking of bodies