Move naming of pattern elements in pattern relationships to Planning

This commit achieves the following invariants:

o In Planner, every identifier is covered by semantic table.
o All pattern elements are named in Planner, except if inside a PatternExpression