added typechecker visitor of more or less all nodes except binary operators