Cleaning
Solves note/point problem in types.hs, see #66