join-0.3: Parallel Join Patterns with Guards and Propagation
Join.Base
module MultiSetRewrite.Base
module MultiSetRewrite.RuleSyntax