changing some type queries in the compiler to use Obj instead of TType
in anticipation of changing how functions are represented.