Added -o opt as doOptimize flag
Added declarations infixed with semi-colon
Fixed broken type checker tests