bugs fixed at TypeAssign