expanded nodes type checker handles