`@base_class` is also concrete, so these two names don't really tell the story of their relationship. How about `@class` and `@subclass` or some such? Or maybe the same names as the prev example: `@klass` and `@subklass`.