fix: (re)typing invocations

[DavePearce]

There is an issue around typing invocations, for example when they arise in an defun. The signature for a given invocation can end up being set multiple times as a result of typing invocations of the enclosing function. The solution here is probably to remove the signature from an invoke and then combine typing and preprocessing as one.