[memory cache] initial version of memory cache. Does not support squeezing yet
[mem cache] use mem_cache for var_t and objs. yields much better memory utilization and better performance