Revised definition of step type checking algorithm for Appendix G

Further to discussion on today's call, changed name per Vojtech's
suggestion, defined bag(-merger) (badly) and added third error clause
to cover the internal pipeline cases.

ht

-- 
       Henry S. Thompson, School of Informatics, University of Edinburgh
                         Half-time member of W3C Team
      10 Crichton Street, Edinburgh EH8 9AB, SCOTLAND -- (44) 131 650-4440
                Fax: (44) 131 651-1426, e-mail: ht@inf.ed.ac.uk
                       URL: http://www.ltg.ed.ac.uk/~ht/
[mail really from me _always_ has this .sig -- mail without it is forged spam]