completely separated canonical class abbreviations from abbreviations stemming from non-canonical morphisms -- these have no shared concept

self-contained formulation of abbrev for named targets

correct sort constraints for abbreviations in type classes * * * yet another bunch of corrections

separate function to compute exported abbreviation

clearly separated target primitives (target_foo) from self-contained target operations (foo)

tuned order

dedicated config options to deactivate uncheck phase for improvable syntax

clarified interfaces for improvable syntax

tuned

clarified context;

clarified context;

clarified context;