redex pattern: language syntax improved, docs added