User blog comment:Vel!/Dave's Number/@comment-25601061-20160326162255

Ow, my head.

SLAN has a limit of FGH ordinal ω.

ESLAN has a limit of FGH ordinal 0 (every expression with a jump-marker eventually reaches a value of 1)

HDMESLAN does not terminate.

(using an edited definition to fix ill-defined nestings)