Implement examples based on 'Let Arguments Go First'

[brendanzab]

I want to eventually use the modified bidirectional approach used in the paper 'Let Arguments Go First' in Pikelet (see pikelet-lang/pikelet#76). As a stepping stone, it might help to make some simpler examples that closely follow what was shown in the paper in this repository.

Resources

• Let Arguments Go First (paper) (slides)

[brendanzab]

We can probably adapt moniker/examples/stlc.rs as a start when implementing these!