2-space and copyright for Types