&&, <, +, -, ILIT, BLIT, * type checks