MURICA
Reflect new integer promotion rules
Fix doctest failures from line number changes
carefully arrange `call` methods in Core not to get specialized on types in Base

this allows the full build to go through
Reformat nullable types doctests so that they run.
Merge pull request #8655 from JuliaLang/anj/bidiag

Restrict Bidiagonal properties to be Vector instead of AbstractVector
Merge pull request #8594 from amartgon/issue_4929

fixes #4929
Fix bdsqr, add and reorganize tests
Delete test-julia.bat

This file is made obsolete by `Base.runtests()`, which works cross-platform.
remove unsupported use of chained type parameters
remove unsupported use of chained type parameters
fix constructor method sort order by preserving typevar bounds in the generated `call` methods
my last trick for constructor+call+keywordargs didn't quite work; fix it
Fix bug in issym(A::BitMatrix)

numnz -> countnz
make rational arithmetic use checked ops
Add issym test for bitarrays
fix a memory bug in codegen of getfield on a 0-size struct
fix a memory bug in codegen of getfield on a 0-size struct
type system improvements needed for constructors-via-call

- make typeintersect((Rational{T},T),(Rational{Integer},Int)) == (Rational{Integer},Int)
  This used to be Bottom, since the T's had to match exactly. Now if T
  appears in covariant position, subtypes can also match. This is a
  good change anyway, but turns out to be necessary for the new constructor
  design. We have a constructor `Rational{T}(x::T, y::T)` which now gets
  lowered to `call{T}(::Type{Rational{T}}, x::T, y::T)`, so obviously we
  must allow x and y to be any subtypes of T.
  This also allows convert_default to be replaced with
  `convert{T}(::Type{T}, x::T) = x` (to be done next).

- making that work required an improved constraint solving algorithm in
  type intersection. the new algorithm should be much more robust, but
  it yields more typevars in its answers, for example
  `typeintersect((T,AbstractArray{T}),(Any,Array{Number,1}))` gives
  `(_<:Number,Array{Number,1})`.

  Hopefully this will not cause problems. But I can imagine doing a
  post-processing step to replace `_<:T` in covariant position with
  just `T`. In the meantime, to further legitimize such results I
  also made the next change:

- make TypeVar a subtype of Type
Merge pull request #8658 from JuliaLang/cjh/doc-arrays

Update docs for 0.4-dev