Add ^ to construct Xor matcher

Xor matcher matches as or but it returns only assignments of the
successfully matched matcher
making matching with > operator the default and deprecating others

Matcher.(~any) >-> var { do_something }
Removing DSL in favor of Algebrick.type

documentation update