Types for atomicity - Sciweavers