The compiler should accept both "unsafe" and "☢" as synonyms, and the pretty-printer should canonicalize to ☢. Implement this.