Implement efficient sets of static atoms