Improvements to null analysis

Added support for query expressions.
Renamed a few parameters
Added support for default(T) expressions.
Fixed exception: binary operations were being incorrectly cast to assignment expressions.

These changes should allow MonoDevelop to be analysed (via batch-analysis) without null analysis-related exceptions.