As an alternative, may I suggest just using an editor that deals with
this when displaying the text? Emacs at least can easily do this (and
many other such transformations), without the need to change the source
language. Personally, I don't think display issues such as this should
be dealt with on a language level (I'm not a fan of #t <-> #true either,
as you can imagine ;)

Greetings, Peter