US7086041B2 - Extensible Type System for Representing and Checking Consistency of Program Components During the Process of Compilation