Tr letrec values

This pull request is for code review.

This fixes PR 13124 by allowing `letrec-values` clauses that don't refer to the bound variables in the RHS to type-check with synthesized types no matter the order in which they appear.