RHS parsing working, I think
testcases for RHS parsing