Search/Searchable/Sum.agda
Search... cleanup...