Extended with recursion, lists and functional constants; added test
examples for recursion and continuation; fixed some minor bugs.