Write example applications using the elixir->scheme pilot

[l4e21]

I.E., existing application from arm-risc0

[l4e21]

Update: Work on this currently on hold due to improvements needed on elixir->scheme side