checked/reduced expressions now carry metadata about the checked/normal
form status. The functions check and reduce use this to prevent
unnecessary work.