Add basic type checking to operators + nodes