Everything generating symbols should generate assignments in morphisms

[Jazzpirate]

e.g. sproof, sdefinition, sassertion in copymodule, interpretmodule, realization