module errors that affect conversion to xsd

[greenTara]

In andor, atom, performative, quantification

the start pattern includes edge.choice, and there is a corresonpding edge.defs.
This is obsolete (from when Reification or embedded RuleML was thought to perhaps start from an edge) and causes problems with nondeterministic patterns when converting to XSD, due to many edge elements, like <formula> which have different content models.

Suggested fix: delete.

[greenTara]

In 1.01, we use a workaround where a Reify element with arbitrary content (in the RuleML namespace) is used for conversion to XSD, and then the schema is fixed up afterwards with the post-processing XSLT so Reify accepts only valid RuleML. This does allow edges to be part of the content.

There is another issue that will deal with the modification of the content model to accept only Nodes, issue #41