Made *dynamic* barrier instances work properly (i.e. barriers in a loop).
Added comment worrying about po-loc = po.
Tweaked .tex output for emptyset.
Given opencl.cat another going-over.