With the disclaimer that I haven't taken time to read things over very carefully, how does your first point interact with the desire someone might have to make an abstract subclass of an abstract class? In this case you wouldn't necessarily want to force all methods to be implemented in that class.