Add Toy.termify function.
Get one "fact" working for rewriting, as an initial example.