Finished the subordination code for polymorphism. Need testing.