Kera and the work of lowering

A compiler story about the unglamorous work between a clean graph and a real machine: deterministic lowering, target ownership, and evidence that keeps one...