Add mpq(string s, unsigned radix) constructor
Add SMT frontend (skeletal)
Update smt parser
Update SMT parser
Update
Update options