lots of work on eval and cleaning up types

things aren't working but at least I don't cause random
core dumps anymore.