Merge Match/Unify modules#3810

goodlyrottenapple merged 7 commits into

masterruntimeverification/haskell-backend:masterfrom

sam/unify-match-refactorruntimeverification/haskell-backend:sam/unify-match-refactorCopy head branch name to clipboard