Updates to specification diagrams for next phase of language forge