Mon Sep 18 19:50:42 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Import/export of data constructors in family instances
  Tue Sep 12 13:54:37 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Import/export of data constructors in family instances
    - Data constructors of a data/newtype family F can be exported and imported
      by writing F(..) or F(ConName).
    - This appears the most natural from a user's persepctive - although, it has a
      slightly different flavour than similar import/exports items for closed data 
      types.  The data constructors denoted by F(..) vary in dependence on the 
      visible data instances.
    - This has been non-trivial to achieve as RnNames derives its knowledge of what
      sub-binders an F(..) item exports/imports from the relation specified by 
      Name.nameParent - ie, the constructors of a data/newtype instance need to 
      have the family name (not the internal name of the representation tycon) as 
      their parent.
    
    *** WARNING: This patched changes the iface format! ***
    ***          Please re-compile from scratch!	    ***