added the start of a EqOp type checker, works for INTs only, still need to implement STRING, ARRAY and RECORDs