ნახვა: A Rational Design for a Weighted Finite-State Transducer Library