Moved two sections on negation to the introduction. They are
'parked' there, not yet integrated.

Also removed the naive decision prodedure for EL with negation.