finished tries.ml; finished ternary.ml;; tries.ml has put bugs