adding TypeChecker
renaming ZenMap
renaming ZenMap