added while to checkstm
added typecheck for some operators and equalities