refactoring
adding ZenDynamicTypeChecker