A system and method for employing a programming language based on
structural types on top of a nominal type runtime environment is
disclosed. The system utilizes adapters and coercive subtyping to achieve
precise typing while preserving aliasing. Furthermore, the system employs
a universal value representation to achieve cross-assembly type
equivalence.