Annotate parameters in situ

If is far nicer to annotate array parameters with size information directly rather than placing the annotation(s) at the end of the method. It makes parsing the code much easier too.

@dgobbi please review