PONY λ M2 Modula-2