- resolved types for some binary expressions