small changes to measuring file. Added generic Monoid instance for SomeTri.
Something has messed up the parsing though, since pathfinding gets a irrefutable
pattern at rightmostOnLine (it should be impossible). I can't seem to see what
has been changed though, and it does not even work with the old measure instance.