Closed
Description
We discussed this on IRC and decided that names of simple boolean predicates in std and core should start with "is_"
or similarly be expressed using a "small question word"
The notable exception are generally established predicate names like "lt", "ge", etc.
This needs to be checked and materialized with some amount of bikeshedding