move triviality tests & transformations to HERMIT.Extras
move unshadow; drop CoreEncode dependency
letSubstOneOccR
floating & simplification tweaks