added more syn semantics diagrams, only delayloop missing