Initial value type handling for binary-comparison.
TODO: Unify handling of number and string types.
Unify numeric and string type inference into ValueType + inference.