1. A method for identifying a structure of a type to generate a model of the type, the method comprising the steps of: (a) providing at least one replacement type for a basic type provided by a programming language; (b) receiving an identification of initialization of an instance of the at least one replacement type by a constructor; and (c) generating a type model comprising a description of a data layout of the instance of the type, responsive to the received identification.