Crate variables are now created in Hoa\Realdom.
Autobox single var declaration into a disjunction.
[auto] Merge from Praspel

    • #2a5a9ab — Crate variables are now created in Hoa\Realdom. (Ivan Enderlin, 2013-09-29)
    • #38d8927 — Autobox single var declaration into a disjunction. (Ivan Enderlin, 2013-09-29)

---

Merge remote branch 'library-praspel/master'