type specializing call-sites for macros, adding log reg
resolve conflict