Added unary and binary expr type-checking