TTValue: many tweaks including the elimination of the value cache. see #155.