What Are Types And How Are They Caused