add ClassEq combinator
simplify walk api