redex: improve rules for while/break, but not complete
redex: add some list primitives