Remove unused use syntax::visit;
Ported effect checker from oldvisit to @Visitor trait object API.