infer tag information off the original form as well, needed to infer
direct protocol invokes of the form `(-foo ^hint x y ...)`.

now that we have `(satisfies Proto x false)` we can direct dispatch
after the test - hint these as ^not-native.