lazy calculate stamp derivationChain, Concept.isNormalized prevents redundant re-normalization, and other fixes
Merge origin/immutable1 into immutable1