assignmentのバグ修正

代入がまともに動作していない状態。
型が異なる場合の代入が失敗してしまう。
EC木の再帰的な実行の際に、子ノードから親ノードへの型スペックの伝搬が上手く動作していないのが
原因だろうと予想してる。