X-Comment1: #############################################################
X-Comment2: # uk.ac.glasgow.cs has changed to uk.ac.glasgow.dcs #
X-Comment3: # If this address does not work please ask your mail #
X-Comment4: # administrator to update your NRS & mailer tables. #
X-Comment5: #############################################################
Comments on John's comments.
| Type synonyms (in interfaces)
| ~~~~~~~~~~~~~
| Proposed: synomyms may (but need not) appear in interface type signatures;
| but if they do then the closure rule means that the synonym must be in scope
