Visitors for the jl5eton language extension.