NameKind commands in agda.sty enforce no math spacing
Merge pull request #12 from joaopizani/master

Issue 1257: Agda.sty in XeTeX typesets identifiers in math mode, causing weird spacing