Added ability to infer type from assignment expression operator
added incrementation test
Fixed Literal type inference