Tried to add a conditional operator, letPlus. Right now it seems to lead to an infinite loop, and it covers a lot of previously untested ground. Because of the infinite loop, the test case is commented out.