Locally_convex_vector_lattice loading ...