Add NamespaceCompiler
Add DisjunctionConjunctionCompiler