refactor(lean/examples/constable.lean): move to library/standard/logic/examples/nuprl_examples.lean