Relax the way we report slow tests. Enforce types on set operations