Destructuring in T

[Jonathan A Rees <JAR@MIT-MC>]

You are right that T probably ought to have some macro which is
syntactically like DESTRUCTURE but which makes sure that the input
matches the pattern.  I think that some other Lisp dialects (NIL
perhaps?) have this feature.  It was probably a mistake in the first
place for DESTRUCTURE to be so sloppy.

If you write such a beast, mail it to the implementors and maybe it will
go into the next release.

It would be wrong (both for semantic and pedagogical reasons) to make
the syntax of LAMBDA, LET, and/or DEFINE hairier than it is already, but
given the above macro it would be easy to define whatever sugar you
wanted for your particular application.