bugfix in Token.equals()
Matcher moved to Token and Element world