Added part-type to account for make-part being able to create parts that are not the same type as requested (for classes and conditions)
Added part-type to account for make-part being able to create parts that are not the same type as requested (for classes and conditions)

darcs-hash:20060401202138-3cc5d-3775a607cbf48a34bf07afd161ff1266ce7dbd4c.gz

gwkkwg/tinaa