remove Monoid constraint, add -Werror
reorg. add Ordered Typed Fusion