Small changes: hmm> prompt and definefun->lambda
Refactored to core.match. All tests pass.