A simple functional-expression interpreter