system of types

  1. REDIRECTtype theory