semantic: If extypePrimitive is a binop assign, use extypePrimitiveAssign
semantic: All constants should be tried to be upconverted into unsigned in mixed binops.
test: Update bugs 6 passing.
semantic: Just some documentation.