Remove syntactic sugar when compiling to Praspel.
Add Praspel representation.