Add lets to the blacklist

That is, handle goals where hyps have bodies that contain evars