redex: add rules for while and break