Attempting to validate syntax objects, arbitrarily doing it during syntax-case.
Wrapped application is syntax now.
More verbose error messages for syntax validation.
Accounted for the 'not-free-identifier=? property in syntax validation.
Less invasive syntax surgery.