Верно ли я понимаю, что упомянутый plmx - это диалект или дальнейшее развитие pl/m?