Initial import.
Deep unification working
Added license at the top of the file.
Added example and a README.