Add notation for map-restrict sets as used by Join
Add doc.sh to generate latex and pdf output