Title: Generic Operator Discovery
=================================

 Abstract: Predicate dispatch for generic operators [blah blah]

Generic Operator Discovery System
---------------------------------

 Conceptual Description
  - review of predicate dispatch
  - motivation

 Implementation
  - list of procedures
  - areas for improvement

 Applications
  - examples from mechanics
  - examples of searching


 GUI Interface
  - description of FFI (cite what's his name)
  - how it works
  - gtk bindings
  - procedures? description of our interface
  - screenshots!



Code Appendix
-------------
 discovery.scm
 gtk-gui.scm?