Specification of the GainText Language