Virtual Class Fixes

1. Overriding methods now check for a compatible method (in name and signature) in the base class hierarchy, and will error if none is found

2. Method "compatibility" has been expanded to include covariant return types and contravariant parameter types. Note that this applies only to pointer-to-class types, and not value-of-class types.