redex: add some primitives for string