qc: add quickcheck as a submodule.
build: update build based on QuickCheck submodule.  Add Makefile.
build: update cabal file to reflect new QuickCheck.
todo: wibbles.
paper benchmark: wibbles.
qc notes: wibbles, more notes.
sc interface: refactoring, Property module.
interface: remove unnes. interface function, clean up class constraints.
property class: constrain exports.
qc notes: updates.
sc interface: add Test.hs (from QC package).
licence file.
rm: property file unneeded.
interface: major refactor.
  - No SC properties needed.
  - Other cleanups.
examples: cleanups.
cabal: remove deleted file.
sc: wibbles.
build: clean up makefile.
docs: clean up readme.
examples: remove unnec. derives.