VariationProposer and Corrector now assume tags come with the input, instead of getting the tagger to tag each variation afresh.