ADD: example up, downup, partial. Please double-check. Changed return-type position in existing example, after parameters. Started using upper-case for types and lower-case for variables for less confusion; please look at the beginnings of a grammar since I only wrote down what I could remember.
MERGE: Grammar conflict; used Tyler's version since he remembered.