More documentation on proof lib code

[cedoor]

Description

This PR adds more documentation to the proof package functions and updates the TypeDoc link.

Related Issue(s)

#483

Checklist

• My code follows the style guidelines of this project
• I have performed a self-review of my code
• I have commented my code, particularly in hard-to-understand areas
• I have made corresponding changes to the documentation
• My changes generate no new warnings
• I have run yarn prettier and yarn lint without getting any errors
• I have added tests that prove my fix is effective or that my feature works
• New and existing unit tests pass locally with my changes
• Any dependent changes have been merged and published in downstream modules

[vplasencia]

Looks great ✨

Added some comments.

[0xjei]

Lovely work. Reading some new comments on top of the functions is literally a pleasure.