Add list operations.
Add backtracking examples
Add number examples
Symbolic evaluation of arithmetic

Useful in countdown numbers problem.