removed all unit tests; names slightly refactored; initial implementation of eval (CPS)