Start with type expressions.