それはそうと暗黙の型変換をマクロでやるのってイメージわかないので説明してほしいんだけど、
素人考えで思うのはマクロってシンタクスレベルの情報を使ってやるものだから
まだコンパイラが認識するようなレベルでの型の情報は取りだせないよね？
Lispのマクロだと（例えばCamlp4とかとは）その辺違うの？