make SED.thin() preserve type
(#547)