Idea proposed by Patrick Ferris and jointly developed. Would involve a type system that uncovers similar errors to the existing eBPF verifier but in a more ergonomic way, combined with a new event-driven model allowing more intuitive hooks into event lifecycles.