A Unified Type System