Rec/Checker1: structure with Haddock comments
Rec1/Checker1: updateConstraints
Rec1: improve showRec