Support `@opaque Tuple{T,U...}->RT (...)->...` syntax for explicit arg/return types

[topolarity]

This gives users a way to explicitly specify the return type of an OpaqueClosure, and it also removes the old syntax @opaque AT ... in preference of @opaque AT->_ ...

[topolarity]

This should be ready for review again

[topolarity]

@Keno If there are no complaints, I plan to merge this tomorrow