Manual section on commands and types

Not just the manual section -- this branch incorporates two small code changes, to make the :require-match argument to completing read work with plists, and to allow type definitions to return nil values.