Add Comp.hs which contains the compositional code from section 4 of the paper.
The code is slightly modified to include more kind annotations as
GHC is not as clever about inferring kinds these days.
New version of Comp.hs which doesn't need the kind annotation or the
IncoherentInstances extension