Hi!

Cool stuff. Very nice indeed.

- Some typos: grep for "<constuctor clause>" and "record type defintion".
- Ref.impl.: It seems `syntax-append' isn't needed; and why is `for-each'
   defined in here?
- I would suggest to allow:

  `(define-record foo)'
  `(define-record foo make-foo)'
     Handy for quickly generating a disjointly typed object,
     the current macro definition loops endlessly on the former expression
     and results in an invalid literal list in the latter.

cheers,
felix