ported test_theory to midje
ported test_unify to midje
ported namespace_test to midje