Document parameters, variables inline, with Annotated
