fixes a crash on a degenerate macro definition
unifies handling of T's in various analyses of Foo[T]'s