Bueno, me encontre con https://github.com/alcides/pascal-in-python. El parser esta hecho en python y el compilador (backend) es LLVM, que es de lo mas avanzado que hay. Volverlo español se ve trivial (aunque soy de la idea que es mejor que un lenguaje sea en ingles).

Yo estoy optando por investigar más y adentrarme en el MDD (desarrollo dirigido por modelos), que parece una alternativa interesante, y que a su vez en un futuro quizas muy lejano, si se llega a dar, va a apoyar de forma enorme al programador y/o al arquitecto ;)

Mi sugerencia es que sea orientado a objetos y se admita redefinición de clases (herencia insertada). Ejemplo:

Unit1, creada por el programador Javier, de Quito, en 2014 como parte de la biblioteca "LaboratoryLib":

Código Delphi [-]
TClaseX = Class (ClasePadreCualquiera)
...
End;

// Clase derivada 1
TClaseD1 = Class (TClaseX)
...
End;

// Clase derivada 2
TClaseD2 = Class (TClaseX)
...
End;

Unit2, creada por el programador Alfredo, de Monclova, en 2015 como parte de un proyecto particular:

Código Delphi [-]
TClaseX = Overridden Class (Unit1.TClaseX)
...{ Nuevos campos / métodos / propiedades para TClaseX que sus actuales descendientes 
     (TClaseD1 y TClaseD2) heredarán en automático.  No es crear otra clase más, sino 
     "insertarle" nuevos elementos (incluyendo redefinición de métodos) a una ya existente, 
     sin tocar su código original (Unit1) e impactando a cualquier clase ya escrita que derive 
     de ella. }
End;

Y ya que entramos en esto, también que las clases no puedan declarar miembros privados (secciones private); en mi opinión, todas las clases deberían poder acceder sin restricciones al contenido que heredan de sus ancestros y la mínima visibilidad de miembros debería ser protected. Y que tampoco puedan estar ni parcial ni totalmente selladas (sealed); ceo que algo no está bien cuando te encuentras con una clase que te impide usar herencia para mejorarla o adaptarla a una circunstancia particular.

Y bueno, si además pudiéramos hacer que todas las rutinas (tanto métodos como funciones "sueltas") sean virtuales, sólo agreguémosle la sintaxis Pascal y tendríamos un lenguaje de programación casi perfecto.

Lo sé, estos párrafos causarán escozor o risas a los más ortodoxos, pero confío en que el tiempo me dará un poco de razón. ;)

Te interesara entonces mirar El diseño del lenguaje GO, en particular la parte sobre interfaces y como GO elimina la herencia para mejorar la capacidad de componer clases, que me parece logra lo que quieres, pero mejor.

Obj-c permite hacer algo parecido, mediante categorias. Python y ruby pueden hacer Monkey Patching.

Tambien esta http://lambda-the-ultimate.org/, que es como la comunidad mas interesante que conozco sobre lenguajes, creacion y avances en el tema.

Osea, hay mucho por hacer!

Gracias por los enlaces, Mario. O sea [separado] que no ando tan errado. :)

Para crear un nuevo lenguaje, uno tendría que tener muy claro, el tema de compiladores y traductores (dependiendo del caso), en la universidad nos dejaron de proyecto hacer un compilador y para esto definir un lenguaje y todo el rollo que involucra, para esto se tuvo que manejar matemáticas discretas, y tuvimos que desarrollar el analizador lexico-sintáctico y el analizador semántico. Es más o menos lo que me acuerdo.:D