tweaks to sf-poly.fst (see NS comments); improved encoding of uvars