Expose interface for type expressions.