Add tests for recursion and Y combinator
Add repl def/undef commands
Use BigInt for int and rational