This module provides an abstract datatype for atoms, such that:
Each atom string is only in memory once
O(n) creation time
O(1) equality-comparison
O(1) (in practice) ord-comparison
Ord-comparison results are independent on evaluation order
This module is thread-safe.