Allow byte array type to hold extra argument of byte array size

[MicroProofs]

This idea allows for the ability to specify a length for byte arrays. Doing this would allow for simplicity in cases where byte arrays need to be a certain length. A famous example is a pubkey hash of an address is 28 bytes. Adding this to the type would automatically generate the check in uplc if the type is used.

[MicroProofs]

An example of this syntax would be Bytearray<28>.
This can then have a type alias on top like Hash<Blake_224, ScriptHash> or PolicyId.

This is very important to prevent users from running into this footgun of non-matching bytearray lengths. The biggest issue is addresses and policyIds with a malicious datum could set invalid address to send to or an unmintable policyId to mint from.