Got rid of all that extra unnecessary polymorphism, which I can do now that the old "Dao.Object" and "Dao.Evaluator" have been merged together.
Sealed-up the "Dao.Interpreter" module, i.e. I explicitly specified all of the symbols I want to export from that module. Now I have to document it.