hjq: remove useless equation in Ord Value
hjq: refactor to use Value->[Value] as the main semantic domain