changed ZenFunc
updating TypeChecker
commit to merge