Add mpq(string s, unsigned radix) constructor
Add SMT frontend (skeletal)
update