A pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.