Lawvere_theory loading ...