Optimize foldl for lifted computations.
Add Typelist; an optimized List for types.
Reduce the number of instantiated variable templates in list_t.