plen v0.0.1 — plen — a total, certificate-carrying expression language for describing worlds as signed distance fields. Name reservation by the author; the first public release (language core, machine