adds cases for literals and binop in expression checking of semantic checking
adds ArrayLit and MatrixLit cases to expr() semantic checking. adjusts other Lit types to return actual values