■

var unifier = Unifier.new_unifier();
var v1 = unifier.gen_var(`v, function(v) { debug_tree(v); });
var v2 = unifier.gen_var(`v, function(v) { debug_tree(v); });
unifier.push( v2 );
unifier.push( v1 );

unifier.unify( );

unifier.push( types.integer_type_node );
unifier.unify();

このぐらいは動く。単一化ってそんなに難しくないのかも。90行ぐらいで書けた。