matches: Moved matching algorithm to Matches.hs.
matchesShape: start on redefinition.
Matches: new matching algorthm.  Refactoring.
Initial example in paper.
Div0: helper functions.
examples: wibbles, cleanups.
paper updates.
SC: bug fix in Boolean test on indexes.
wibbles.
Moved paper example.
update gitignores.
cabal: add testing executable.
SC args: separate module.
talk notes (if I ever give one. :))
Matches: remove baseTypes test.
Paper example: makefile.
QC tests for SC: updates.