Intersect stored FuncCall expression types with dynamically computed types in MutatingScope::resolveType()

Intersect stored FuncCall expression types with dynamically computed types in MutatingScope::resolveType() #520