Moved demo to main branch
Attempt at polymorphic
Preliminary support for polymorphic properties.

For now, we naively instantiate type quantifications to nat. This cannot be done
using an Arbitrary instance because we don't handle dependent types yet.
Finished Indistinguishability and Printing. On to Generation
Done with Generation
Added Driver. Weird bug
Remove type alias.
Fix extraction.
Fix Leo's problem with NI demo.
[minor] Added Makefile for Demo
Fixed a large number of bugs in the generation (was not generating indistinguishable machines). It now finds an SSNI bug for BRet, will look into it more
Fixed machine semantics. Should be ok now.
Added mutation testing. Only killing 4/19... Will start working on that
Finding a bug in the default setting using a rule from the ICFP paper. Something seems fishy...
Fixed Store problem (rediscovered the need to taint with the PC in Cally machines...). 11/21
Fixed bug with BCall. Added way of controlling number of tests in mutateCheck.
Added example where mutant 18 fails, but it is not being generated
strange conflicts