Parse geometry proof language for diagram-building instructions.