Being a library used a lot by other projects to write their own DataIntegrityProof suites, it would help a lot to have this library expose types, to make integration much easier. Any plans for it down the line?