Add ability to mkConst(TupleSelect) and friends in language bindings