removed Pos* types from Desugarer