added a missing uni test for TypeChecker::isToken(), also corrected a bug. Fixes #6