Added separate mul separate module to compiler. Yet to be implemented
Added data structures for normal forms
Preparing to implement separate mul encoding to overcome ADDs explosion problem
Fixed merge conflict