A Refinement Strategy for the Compilation of Classes , Inheritance , and Dynamic Binding ?