Initial commit of a new rewriting system.
Initial documentation.