Added automatic schematic nullability checks and view transformations.
The code could be generalized more to perform nullability checks on general expressions such as
if(fieldValue IS NULL) then (1) else (NULL) ---> if we allowed that, the nullable elimination condition generator(tm) must yield [fieldValue IS NULL]