[TED] CORE Pages Edited for Slot-to-Positional Transformation and Multisorted Syntax

In partial fulfillment of what I envisaged by today:

* Following the discussions since the F2F4 breakout,
I extended the CORE document's basic slotted syntax by
sections on slot-to-positional "SYNTACTIC TRANSFORMATION"
in both:

http://www.w3.org/2005/rules/wg/wiki/CORE/Conditions/Positive
http://www.w3.org/2005/rules/wg/wiki/CORE/Rules/Horn

* Based on recently discussed examples, I added a
preliminary multisorted syntax for primitive sorts,
initializing a section on "Multisorted Syntax":

http://www.w3.org/2005/rules/wg/wiki/CORE/Conditions/Positive

* The CORE "Discussion" section lists the still missing
non-primitive-sort syntax and a semantics parameterized
w.r.t. external calls:

http://www.w3.org/2005/rules/wg/wiki/CORE


The other part, a summary of the offline discussion
between Hassan, Michael, and me, became a bit delayed
by the 'recursion' discussion. Because of our current
timezone difference I don't know if Michael will still
send something in the Innsbruck morning.


-- Harold