Improve typechecking of tuples (Trac #8514)
Make exprType work correctly in the presnce of type bindings (Trac #8522)