Camera-ready version of the OpenSym paper.