x::Int8=1000 now throws an error upon conversion
Fix leading_ones example
Tweak None == Union() discussion to reflect 0.4 behavior.
Merge pull request #8659 from JuliaLang/cjh/doc-types

Update type docs to 0.4-dev