squash npes
fix proposals in type expressions