Clean a bit LiftedWCNF class
Revert "Improve namespace names"

This reverts commit 973df43fe0ad0c392af90d3936373925fb73cfd3.

On a second thought, namespaces are close to classes in the sense that both encapsulate data, so they should both use Pascal case notation.
Change namespace name to be in Pascal case