Branching for designator types, and prolog bindings output