Update Midori/Abstract.hs

* added framework for inductive and co-inductive types (again)
* hopefully this will be the last time I attempt to use these kind of types