Add some non-validator examples

[srid]

To demonstrate the eDSL, let's add non-contract examples: hello, fibonnaci, numeric operations, etc. Under https://github.com/Plutonomicon/pluton/tree/main/examples/Example

Any time we add an example, they should be added to benchmarks (unless #26 is still open).