Update Midori/Abstract.hs

* better support for inductive types