1. Fixed set-type* :around (application) to handle curried macros correctly
2. Fixed instantiate-resolution, all-formals-from-same-decls, and
   maybe-instantiate-from-decl-formals  for one of Sjaak's bugs