4/12 ready to do today's first merge
Merge remote-tracking branch 'origin/zhu412' into start_from_412
4/12 partially done with check2, need to fix UnaryOp().checkOperands for
++,
--
Check3a processing.