ANormalForm: Document output grammar
Move transformName to Names