implements Call, Obj, GetField in typeInfer & Function, Call, Obj, GetField in substitute & some stuff in step