diff --git a/src/comp/middle/ty.rs b/src/comp/middle/ty.rs
index 599b3b213a0e..1211f18e7174 100644
--- a/src/comp/middle/ty.rs
+++ b/src/comp/middle/ty.rs
@@ -58,7 +58,7 @@ type ctxt = rec(@type_store ts,
                 resolve::def_map def_map,
                 creader_cache rcache,
                 hashmap[t,str] short_names_cache);
-type ty_ctxt = ctxt;    // Needed for disambiguation from Unify::ctxt.
+type ty_ctxt = ctxt;    // Needed for disambiguation from unify::ctxt.
 
 // Convert from method type to function type.  Pretty easy; we just drop
 // 'ident'.
@@ -115,8 +115,8 @@ tag sty {
 
 type unify_handler = obj {
     fn resolve_local(ast::def_id id) -> option::t[t];
-    fn record_local(ast::def_id id, t ty);  // TODO: -> Unify::result
-    fn record_param(uint index, t binding) -> Unify::result;
+    fn record_local(ast::def_id id, t ty);  // TODO: -> unify::result
+    fn record_param(uint index, t binding) -> unify::result;
 };
 
 tag type_err {
@@ -1809,7 +1809,7 @@ fn is_lval(&@ast::expr expr) -> bool {
 //
 //     http://www.cs.man.ac.uk/~hoderk/ubench/unification_full.pdf
 
-mod Unify {
+mod unify {
     tag result {
         ures_ok(t);
         ures_err(type_err, t, t);
diff --git a/src/comp/middle/typeck.rs b/src/comp/middle/typeck.rs
index 2c7d80a8fca9..4f50af38da64 100644
--- a/src/comp/middle/typeck.rs
+++ b/src/comp/middle/typeck.rs
@@ -33,8 +33,8 @@ import middle::ty::type_is_integral;
 import middle::ty::type_is_scalar;
 import middle::ty::ty_param_count_and_ty;
 import middle::ty::ty_nil;
-import middle::ty::Unify::ures_ok;
-import middle::ty::Unify::ures_err;
+import middle::ty::unify::ures_ok;
+import middle::ty::unify::ures_err;
 
 import std::_str;
 import std::_uint;
@@ -59,7 +59,7 @@ type ty_item_table = hashmap[ast::def_id,any_item];
 type fn_purity_table = hashmap[ast::def_id, ast::purity];
 
 type unify_cache_entry = tup(ty::t,ty::t,vec[mutable ty::t]);
-type unify_cache = hashmap[unify_cache_entry,ty::Unify::result];
+type unify_cache = hashmap[unify_cache_entry,ty::unify::result];
 
 type crate_ctxt = rec(session::session sess,
                       ty::type_cache type_cache,
@@ -917,9 +917,9 @@ mod collect {
 
 // Type unification
 
-mod Unify {
+mod unify {
     fn simple(&@fn_ctxt fcx, &ty::t expected,
-              &ty::t actual) -> ty::Unify::result {
+              &ty::t actual) -> ty::unify::result {
         // FIXME: horrid botch
         let vec[mutable ty::t] param_substs =
             vec(mutable ty::mk_nil(fcx.ccx.tcx));
@@ -928,14 +928,14 @@ mod Unify {
     }
 
     fn with_params(&@fn_ctxt fcx, &ty::t expected, &ty::t actual,
-                   &vec[mutable ty::t] param_substs) -> ty::Unify::result {
+                   &vec[mutable ty::t] param_substs) -> ty::unify::result {
         auto cache_key = tup(expected, actual, param_substs);
         alt (fcx.ccx.unify_cache.find(cache_key)) {
-            case (some[ty::Unify::result](?r)) {
+            case (some[ty::unify::result](?r)) {
                 fcx.ccx.cache_hits += 1u;
                 ret r;
             }
-            case (none[ty::Unify::result]) {
+            case (none[ty::unify::result]) {
                 fcx.ccx.cache_misses += 1u;
             }
         }
@@ -979,7 +979,7 @@ mod Unify {
                                               unified_type);
                 fcx.locals.insert(id, unified_type);
             }
-            fn record_param(uint index, ty::t binding) -> ty::Unify::result {
+            fn record_param(uint index, ty::t binding) -> ty::unify::result {
                 // Unify with the appropriate type in the parameter
                 // substitution list:
                 auto old_subst = param_substs.(index);
@@ -998,7 +998,7 @@ mod Unify {
 
 
         auto handler = unify_handler(fcx, param_substs);
-        auto result = ty::Unify::unify(expected, actual, handler,
+        auto result = ty::unify::unify(expected, actual, handler,
                                        fcx.ccx.tcx);
         fcx.ccx.unify_cache.insert(cache_key, result);
         ret result;
@@ -1087,7 +1087,7 @@ mod Demand {
             ty_param_substs += vec(mutable ty_param_subst);
         }
 
-        alt (Unify::with_params(fcx, expected_1, actual_1, ty_param_substs)) {
+        alt (unify::with_params(fcx, expected_1, actual_1, ty_param_substs)) {
             case (ures_ok(?t)) {
                 // TODO: Use "freeze", when we have it.
                 let vec[ty::t] result_ty_param_substs = vec();
@@ -1116,7 +1116,7 @@ mod Demand {
 
 // Returns true if the two types unify and false if they don't.
 fn are_compatible(&@fn_ctxt fcx, &ty::t expected, &ty::t actual) -> bool {
-    alt (Unify::simple(fcx, expected, actual)) {
+    alt (unify::simple(fcx, expected, actual)) {
         case (ures_ok(_))        { ret true;  }
         case (ures_err(_, _, _)) { ret false; }
     }
@@ -3302,7 +3302,7 @@ fn check_crate(&ty::ctxt tcx, &@ast::crate crate) -> typecheck_result {
     auto hasher = hash_unify_cache_entry;
     auto eqer = eq_unify_cache_entry;
     auto unify_cache =
-        map::mk_hashmap[unify_cache_entry,ty::Unify::result](hasher, eqer);
+        map::mk_hashmap[unify_cache_entry,ty::unify::result](hasher, eqer);
     auto fpt = mk_fn_purity_table(crate); // use a variation on collect
     let node_type_table node_types = result._3;