Eliminate last catch-all for non-exhaustive pattern-match

Error passed as values are not very useful.  I’d rather have early
error detection.  Or a monad!
Add “standard” interpreter for lambda calculus with refs
Add plain “lambda facets” interpreter