Use BasicPredicate instead of Predicate (#4) · Issues · galactic / public / src / extensions / convex / descriptions / category-basic