updating ZenTypeChecker
bugs fixed