Re-name types in policy#937

tcharding wants to merge 7 commits into

rust-bitcoin:masterrust-bitcoin/rust-miniscript:masterfrom

tcharding:push-kwnxuvkkrolmtcharding/rust-miniscript:push-kwnxuvkkrolmCopy head branch name to clipboard