this fixes a problem with encoding_decorate, where
a parsed Prelude theory contained unneeded "use Tuple2"