Issue: SUBTYPEP-TOO-VAGUE (Version 4)

[Kent M Pitman <KMP@STONY-BROOK.SCRC.Symbolics.COM>]

My notes from Fairfax meeting...

Cleanup meeting:

 For as far as it goes, it was thought ready to vote.
 Some felt we might need further restrictions (other proposals) later.

X3J13 meeting:

 JonL: Thinks EB can prove that only SATISFIES mucks things up and
       that OR, AND, etc. are safe.

 RWK: It couldn't be. You'd need more type cleanups before it could be.

 People generally doubted JonL's claim but said he was of course welcome
 to submit the proof.