What do you think of adding to the language these couple of keywords just for syntactic sugar: This and Super. They'd be the types of this and super inside class and struct scope. is(This == typeof(this)) ...and... is(Super == typeof(super))