define at-invoke macro: (#38438)
- provides easier syntax to call `Core.invoke`, e.g. `@invoke
f(a::Integer)` will be expanded into `invoke(f, Tuple{Integer}, a)`
- when type annotation is omitted, the argument type is specified as
`Any`
Built on top of #37971
