Fixed various type errors
Some renamings to satisfy stricter rules of type checker
Unescaping escaped field names.
Last occurrences of |unknown:///| replaced by proper source location
Fixed subtle error in visit translation
More sophisticated test to compare code of generated parsers
Fixes to template implementation to get escaping right