* kostis/hipe-icode-range-bug:
  Fix bug related to the handling of is_number/1 by the range analysis
  Clean up and homogenize text messages for options

OTP-10897

The following module produced erroneous results when compiled with HiPE:

-module(a).
-export([foo/1]).

foo(X) when is_number(X) ->
    is_integer(X).

Running:

  1> c(a).
  2> a:foo(0).
  true
  3> hipe:c(a).
  4> a:foo(0).
  false      % *** WRONG ***

The problem was that the 'number' case for the `hipe_icode:type_test/1`
was going to the default case where the argument was determined as being
something other than an integer. Thanks to Sebastian Egner and Johannes
Weißl for bringing the bug into attention. Fixed on the day it was reported.

* ks/hipe_bif-remove_refs_from/OTP-10851:
  Fixed test to allow for lists:foreach/2 call
  Change the return value of hipe_bifs:remove_refs_from/1

* sa/dialyzer-types-arity/OTP-10861:
  Minor refactoring
  Update Dialyzer's documentation
  Support for types with the same name and different arity

* ks/type-doc-cleanup/OTP-10850:
  Add support for printing <<_:_*1>> as bitstring()
  Clean up of documentation of type language

Added: binary_to_integer/1,2, integer_to_binary/1,2