Documented synthdeftools.Op.
Updated documentation.