Renaming formal-ledger-test example contract Types

[tferariu]

Rewriting the example smart contracts and their traces so that:
Label -> Datum
Input -> Redeemer
This more clearly matches the expected names for those types and reflects the most recent version of my work that references them.