Crate variables are now created in Hoa\Realdom.
Autobox single var declaration into a disjunction.