ivory-eval: simple concrete evaluator.

Idea is to use it in ghci for interactive testing of ivory code, and for
use in filtering ivory-quickcheck inputs that don't satisfy requires