Rule for inferences of Any

This rule warns on things which are probably programmer errors such as `1L to 10L contains 3`.