Having hz files also opens a really interesting idea of using them as a form of static analysis and CI validation.