1. A computer implemented method for using an intermediately compiled source code program, the method comprising: using a path type to represent the type of an inner object within an outermost object, wherein the path type comprises a complete class inheritance path from the outermost object to a runtime type of the inner object.