Prover-ts Packages

Prover-ts is a small lightweight package to parse through unknown shapes, providing strong typing.