Banach_lattice loading ...