[tify] generalises [zify] for an arbitrary type.#1

proux01 wants to merge 2 commits into

masterrocq-community/micromega-plugin:masterfrom

tifyrocq-community/micromega-plugin:tifyCopy head branch name to clipboard