Pulled out xor and factorial as separate files.

Also added a simple DSL file that reexports everything needed to get a simple
example up and running.
Working on writing a version of the author's gadget discovery method.