Pinafore 0.3

• Language
  • add subsumption expressions
  • allow module-qualified names
  • improve type simplification
• Library
  • Std
    . add "index" function for lists
    . add "forWhole" function
    . change some constructor names not to clash with type name
    . new ListRef type, with functions
    . rename various reference-related functions
  • UI
    . separate module
    . rename "UI" type to "Element"
    . elements for CSS styling
    . openWindow now takes size
    . notebook can track page selection
• Fixes
  • fix defect involving export of open expressions
  • fix serious defect in type unifier
  • fix defect involving imported types