Simple_theory_of_types loading ...