type assign and check might be done

gen expr needs visits for new nodes