Modified Inheritance.spo to take into account some polymorphism.
Inheritance.expected.sp compiles but with warnings.