some code for partially ordered sets
some more tests, on set operations
add /* -*- Prolog -*- */  to the top of each file, so emacs won't think its perl