instancof, and cast finshed, constructor added to