Implement term factory.

Also add skeleton for string and and expression
terms.
Update todo.
Implement StringTerm.
Add shokkenki term support for numerics.