Research: Does the CLI support abstract methods in the middle of an override chain? Yes, even in C#!
Add checks for adding mutable members: They should not be abstract, or external.
Add check for abstract methods in BodyContextBase.GetBaseCall()
Remove check from UnderlyingTypeDescriptor that requires the original type to be non-abstract