Sorry, that's a bit too long to read all. I would however be interested in seeing a language resulting from this methodology, if there is any.

Otherwise, good work advancing.