Issue description: The docs should contain some information that an untyped variable's value can be null, but a non-Object-typed statically typed variable cannot. Probably something along the lines of ...