`SELF %default` should be forbidden
Environment
v7.4 binaries from tezos-packaging
Summary
https://tezos.gitlab.io/whitedoc/michelson.html#calling-entrypoints-from-michelson specifies that "address%default" and CONTRACT %default t are forbidden syntax.
For consistency, SELF %default should also be forbidden.