valueall-type(Atom)
{ ValueTypeAuto }
1. x : Base
2. x ∈ Atom
3. v : Atom@i
⊢ (v)↓