Fixed unification. Added std::pair-versions of Unify, Ground.

Also added -Wall to compiler flags.
Unit tests.