redex: add some primitives for string and bool