cleanup type analysis macro
type analyzer now demonstrates macro that essentially produces a NOP