Simplify namespace.
Add specification in Praspel.