Added Redex comments and a few more tests.