Add recursive value/type solver to Semantics, and binary operator
support.