More efficient tests.
Added custom unifiers and their tests.