make classify-invoke a postwalk so that tag on instance? or prim-invoke
calls can be inferred