1. In an object-oriented computerized system implementing a nominal type framework and one or more nominally incompatible types used by one or more application programs therein, a method of automatically providing access by the application programs to data associated with the one or more nominally incompatible types, comprising the acts of: identifying one or more desired type shapes of a target type used by an application program; identifying one or more different application programs having one or more nominally incompatible source types, each of the one or more nominally incompatible source types comprising each of the one or more desired type shapes of the target type; receiving one or more instructions to execute the application program using the target type; generating an intermediate type, the intermediate type comprising an in-memory data structure, the intermediate type comprising the one or more desired type shapes, and the intermediate type being distinct from the type used by the application and the one or more nominally incompatible source types; and processing one or more access requests by the application program for data associated with the desired type shapes in the nominally incompatible types using one or more proxies, wherein the one or more proxies map at least one of the one or more desired type shapes in a first nominally incompatible type to the same type shape in a second nominally incompatible type through the intermediate type, wherein each of the one or more proxies comprises an in-memory data structure, and wherein the one or more proxies are automatically created at runtime.