some fixes on destillRegs and introduction of a new sketch