加入了算downvalue

downvalue是一种优先级结构