Application programming with GF grammars