'AT INVOKE foo.bar' allows for intercepting calls according to method name and argument types. It would additionally be helpful to be able to refer to the argument values, for example to construct conditionals 'IF $arg[0] == null' and such. Read only access should be sufficient for most use cases, although the ability to alter the values may also be considered.