Added EPL headers, and a Readme.txt
Added a copy of x10.pl, smallx10.pl, which defines just the execution relation.