Assorted fixes and optimizations to type inference
Assorted fixes and optimizations to type inference

chubbymaggie/alive,rutgers-apl/alive-loops,nunoplopes/alive,rutgers-apl/alive-loops,nunoplopes/alive,chubbymaggie/alive,nunoplopes/alive,davemenendez/alive,chubbymaggie/alive,rutgers-apl/alive-loops,davemenendez/alive,rutgers-apl/alive-loops,nunoplopes/alive,chubbymaggie/alive