review type expressions