Also, attempt to reduce confusion in the glossary by not saying there are
different "types" of arguments and parameters.