* h_program-lang/layer_coverage.mli: cleanup