Obsolete match parameters.
Added documentation about optional variable pattern.
Added with-match-paramters. Now match is hygienic.
Added pattern-equal macro to care about user defined pattern equality
Added *unbound* for dealing with unmatched patterns.
Added support for optional pattern.
Reimplementation pattern-matching algorithm.
Obsolete test argument for let+ and match.