Argument-mapping canvas: typed nodes and relations, logical operators, regions, and notes-as-nodes. A richer alternative to core Canvas.