Removed supertypes from consideration for return types.
Added Any as fallback to expressions that has no guessable types.