Use LET* instead of LET.  We handle parallel bindings by using temporary variables.
Use the :METHOD option to DEFGENERIC to define default methods.
Use new utilities to compute bindings for the WITH-CLAUSE.
Fixed typo.