Added match() API to monads Either, Option, Try. Simplyfied Matcher construction.