CIP-0057: Extend the Blueprint test case with the AsData example.

[Unisay]

AsData types like this example one

$( PlutusTx.asData
    [d|
      data Datum2 = MkDatum2
        { datum2integer :: Integer
        , datum2bool :: Bool
        }
        deriving stock (Generic)
        deriving newtype (AsDefinitionId)
      |]
 )

can't have their HasSchema Datum2 instance derived using TH:

$(makeIsDataSchemaIndexed ''Datum2 [('MkDatum2 0)])
-- Error: No index given for constructorBlueprint.Tests.Lib.Datum2_6989586621683919396typec

I have extended the test for Blueprint generation with the AsData type and showed how a manual HasSchema instance could be provided in such case.

[Unisay]

I have an idea to try extending the asData TH macros to also generate an HasSchema instance (analogous to how makeIsDataSchemaIndexed adds a HasSchema instance on top of what makeIsDataIndexed does)
but I am not sure how important is it at this time to implement, @zliu41 wdyt?