ピンから引っ張ってノードを出すと対応したのがが出てきます。
変数への昇格もピンから引っ張ると自動的に対応した型になる