1. A method comprising: determining a type hierarchy set for a specified type, the specified type pertaining to a plurality of objects of an object oriented computer language, the type hierarchy set containing at least one element; generating a virtual function such that the virtual function effects a dynamic type checking of each of the at least one elements of the type hierarchy set; and including the virtual function in a metadata of each of the plurality of objects.