Improved InferAny

Uses tpt.original == null to check if types were inferred.
Move InferAny to core and add documentation in wiki

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