coloring for blame assignment in check syntax) try to color the right-hand side of a binding that actually comes from a lambda-bound variable (and thus crash for not finding the right-hand side)