代入時に左の型に合わせるようにした
if文のBNFは終わった