Add macro methods to ProcNotation & ProcLiteral

[bew]

Currently there is no way to get information from macros about:

• a ProcNotation: e.g. A, B -> C
• a ProcLiteral: e.g. ->(a : A) { puts a }

I'm writing some helper macros that needs to specify some proc types, and it'll be way more plaisant to use the ProcNotation to write the type, instead of the normal Proc(..) type notation.

Note: I don't need macro methods on a ProcLiteral ATM, but I noticed there weren't any methods too, so I thought this was missing too.