feat(laurel): Add direct operational semantics for Laurel IR#511

olivier-aws wants to merge 2 commits intostrata-org:mainstrata-org/Strata:mainfrom

olivier-aws:feat/laurel-direct-semanticsolivier-aws/Strata:feat/laurel-direct-semanticsCopy head branch name to clipboard