- Integrated New Type System (incomplete)