1) added cross validation of domains,i.e., if two gates that are not talking to each other have an overlap in domains of atleast 2 domains, an error will be thrown. Also, 2) added in the AND gate. 3) now reading input from files - sqroot.in - which is the 4 bit sqroot function from qian and winfrees paper - it consists only of nand and and gates