Improve type inference for coalesce with ErrorType, strpos === int narrowing, and str_repeat return types

Improve type inference for coalesce with ErrorType, strpos === int narrowing, and str_repeat return types #1671