Some changes to isAssignable(Type t)