Remove syntactic sugar when compiling to Praspel.
Add Praspel representation.
[auto] Merge from Realdom

    • #b855d79 — Remove syntactic sugar when compiling to Praspel. (Ivan Enderlin, 2013-09-17)
    • #3e1be91 — Add Praspel representation. (Ivan Enderlin, 2013-09-17)

---

Merge remote branch 'library-realdom/master'