archetype
val build_entries : Model.model -> Model.model
val remove_operations_nil : Model.model -> Model.model
val optimize : (Model.model * 'a) -> Model.model * 'a0