Implement Mux16 in terms of Nand