Text this: Natural and Formal Languages at the Higher Level