semantic: Wire TraitsExp up to visitors.