Hereditary substitutions for simple types (revised)