Clearer and better performing version, also more likely to actually work as expected :)

Note: still not implemented internals of agreement

The design doc for llook/rlook was incorrect, swapping the semantics per the updated docs and swapping argument order for llook.

Values cleanup and doxy: remove some redundancies, make the Begin/End constants in Position an enum, change tag_ref to contents