see examples for usage examples
interpreter demonstrating minimal implementation of dynamic types, first-class functions, laziness, mutability, call/cc and shift/reset