How to Use Jev: A practical guide to TypeSafe's System One model — Blankdot