Hereditary Types