Jo — a statically typed language with fine-grained, compiler-enforced capabilities (first public release) — PLINKFEED