add a conversion for introducing EVERY to miscLib

maybe this should be in HOL (or already is). I didn't find it.