Add id to Prelude
Nicer notation for container modalities