Rename UnifyIn to UnifyRuleCall and remove its type parameters; refactor UnifyResult.