added Integer_Theory as import for Character_Template.co