Theory_of_types loading ...