Move InferAny to core and add documentation in wiki

Added a, currently failing, test with Any as a lower bound.