How Type Generation Stabilized Our Logging And Reduced Bugs