Fix notation overloading via scopes