update parameters section

This updates the parameters section to use the identifier
    syntax for the function name.

We also demonstrate that the return type can be 
    named since all types can have labels.

cc @Matt-Esch @jden