remove typecheck method，redefine type system
add type built-in func
add test hign-order