More automation in ADTExamples.
Saving an old comment in RepInv.v for posterity.
New Bisimulation Relation Approach.
RepInv now gone- ADTRepInv.v now lets us have ad hoc
representation invariants.
Merge branch 'master' of file://///afs/csail.mit.edu/group/plv/git/adt-synthesis
WIP Call
More WIP
Implement Call in Computation.v
Incorperate calling context into ADT