In the new structure for storing linear facts use a list of vm::tuples directly. 15% speedup improvement.