[TypeCheck] Check type for assign
[TypeCheck] Fix bug for assign
[TypeCheck] Fix bug for assign again