Making unification an EProver

- Solves bug #8