Currently we simply set precedence relations between steps (Step A precedes Step B). Instead we need to be able to specify that the output of step A is bound to a specific input variable of Step B. Blocked by #124