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

 Abstract: Predicate dispatch for generic operators [blah blah]

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

 Conceptual Description
  - review of predicate dispatch
  - motivation

 Implementation
  - list of procedures

 Applications
  - examples from mechanics
  - examples of searching

 Areas for improvement

GTK and Foreign Function Interface
----------------------------------

 Description of FFI
  - cite what's his name
  - how it works (briefly?)
 
 GTK Bindings
  - brief 
 
 Description of Object Discovery Implementation
  - procedures?
  - screenshots!

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