Expose type aliases for SmallRangeProof, LargeRangeProof

[ggutoski]

Currently downstream users need to do things like this:

// TODO expose `KzgProof<E>` type alias from jellyfish
type TxInclusionProof =
    SmallRangeProof<<UnivariateKzgPCS<Bls12_381> as PolynomialCommitmentScheme>::Proof>;