Issue SUBTYPEP-TOO-VAGUE

[Kim A. Barrett <IIM@ECLA.USC.EDU>]

The proposal SUBTYPEP-TOO-VAGUE:CLARIFY, passed at the Hawaii meeting, says

   "SUBTYPEP should signal an error when handed (for either argument) a type
   specifier that involves VALUES or the list form of the FUNCTION type."

This prevents a compiler from using such type declarations to do type checking
and such on functional arguments.

We wish to ammend the proposal to strike that paragraph.

kab
-------