Rule for inferences of Any

It uses tpt.original == null to check whether a TypeTree was inferred or not.
Merge pull request #30 from Lewix/inferany

Rule for inferences of Any