parsers for other types of lambda lists.  modified from the ordinary lambda list parser
Added a TODO