Typechecker

in order traversal and function calling starting