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 corresponding one or more nominally incompatible source types that include 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; and after executing the application program, 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.