Cache: Assert that there's no key override in Cache
Cache: More strict data types, un-Typeable ValEntry wrapper rather than tuples for extra safety