completed normalised comonads - needs some refining
removed old normalised comonad code
cleaned up normalised comonads
made lowerNCM more complete
tidying up