fix #10: javac: binary operator adds erroneous cast on 1st operand.
move binary&unary OO desugar earlier, from Lower to TransTypes stage.
remove Lower stage.
expand Vector example with matrix.