fixed unicode in agda, added mappings