Orthography Engineering in Grammatical Framework