Private.hs: make datacon name different from tycon name, add explicit foralls