Describir: Tower-type bounds for unavoidable patterns in words