superof() operator
'super' now translates to 'superof( this )' instead of 'this.super'.]