Drafts of code and markdown.

03/type.cpp

@@ -70,7 +70,7 @@ void type_mgr::unify(type_ptr l, type_ptr r) {
     throw 0;
 }
 
-void type_mgr::bind(std::string s, type_ptr t) {
+void type_mgr::bind(const std::string& s, type_ptr t) {
     type_var* other = dynamic_cast<type_var*>(t.get());
     
     if(other && other->name == s) return;