Add TODO
forcePiType -> forceLam
forceLam does not need paramType param