a unification engine for Ruby