A TextField is an instance of a Gauge, holding the string currently entered:
type TextField = Gauge String
All operations over Gauges (see xref{Gauge interface index}) are also valid over TextFields.