started implementing caching of concrete values; checking in tests that work so far.