Visitors for the jeddeton language extension.