finish basic object polymorphism corrections, including DotRef expressions