Sandbox: implements various algorithms to match all actors fitting
a given variable, all variables fitting a given actor.
TODO: associate one actor to one variable in a given procedure to
get a relevant matching
Sandbox: begins to implement matching between a procedure variable and
an actual actor.