Further improvements on 'make' notations
Removed autogenerated Makefile use Make instead
Canonical Cut functor between RComonad and RComonadWithCut