Add type files for proving system, compliance proving system, delta, and kind.#344

AHartNtkn wants to merge 15 commits into

topic-transaction-functionanoma/nspec:topic-transaction-functionfrom

anthony/types_1anoma/nspec:anthony/types_1Copy head branch name to clipboard