SI-5797 Check that symbols respect the chain of owners

It's easy for macros to splice a symful tree underneath
what should become the new owner. Now -Ycheck:typer will
identify such cases.
WIP