Yon – a topos-oriented language with a content-addressed lattice heap | Heykuki News