Empty Matcher

Added support of empty matcher, via Emptiness type class.