add tuple monoid, change MatcherResultEnhancer to not return Options anymore