Type system created