SemElem::extendAndDiff -- introduce function
Call extendAndDiff during poststar instead of just extend

If you override extendAndDiff(), you can potentially be more efficient.