Generating names for unbound variables in printed solutions.
Added new label printer to also print the labels aligned to the unpotimzed instruction listing.
Added continue and no_op instructions to assist with implementing inline choice points.
Added label resolution on no-op, so that continue can jump to it. Added the continue and no-op instructions around inline choice points.
Cleaned up the last branch in inline choice points, as it does not need a jump to the continuation point.
Inline disjunctions mostly working, except for detecting argument position terms. Added nested generation of label names to disjunctions can be deeply nested.
Formatted the code.
Renamed some labels to make them shorter.
Made positional contexts link to their parent.
Got parent position context right, so now able to detect arg and non-arg positions within a term to compile.
Added a comment about the disjunction compilation search needed.