Some work with inputting type expressions.