Make it possible to trace the parsers defined by DEFINE-PARSER.
Define parser OPTIONAL-TYPE-SPEC-PARSER that returns type T by default.
Use new OPTIONAL-TYPE-SPEC-PARSER where appropriate.