looks like just enough of ivory-eval done to use it in ivory-quickcheck