Visitors for the jjeton language extension.