Do not escape active pattern names

Fix #740.
Write active pattern names in the canonical way
Merge pull request #741 from dungpa/active-patterns

Do not escape active pattern names