Added some additional functions to the `1-valued', `compose', and progn groups. Bugfix for marking up the definition for an empty function. New category "potentially-1valued" for functions that are not erroneous if either 1-valued or multi-valued.