Exist Matcher

Added exist matcher support, using Existence type class.