more work for invokePrim support, needs to fix infer-tag for fn-method && fn