Refined the lub and glb wrt `@storage`

It's good to write a paper about it, you figure stuff out :)