#204 check for global uniqueness of definitions.

Check now fails after erasure.
Should become error after fixed.
Allow checking that trees and their defined symbols have modifiers in sync.