Add assigning TypeVariable

Add assigning TypeVariable in isAssignable(Type, Type).