Kind-check closure freevars against destination builtin bounds, take 2.

r=nikomatsakis