Minor grammar correction in comment.
Comment formatting for (hopefully) better clarity.
Removed lost of extra spaces.
Turned debug statements into writes to the console, which is more appropriate.
Added a way to check if a binding holder has a particular key.
Modified the Elision generator to produce the compact form for special forms with symbol tags and binding content.
Added support for name, description, and detail to `RewriteRule`, and provided support for named rules in the `RuleLibrary`.