Coordination of unmatched clause types and dynamic look-ahead | Synapse