fixes in Monome
updated .ocamlinit
first draft of cancellative superposition