what things do you think fall over all types and are transcendent of type?