A special class to pass to #eo_super() when using #eo_override()
Shouldn't be inherited from or anything of this sort.