Normed_vector_lattice loading ...