Use _traits in column specs
Made can_be_null a recursive trait
Transport can_be_null into select pseudo table
Follow outer tables through the statement.

This is important to determine which result column of a select can be
NULL.
Use potential outer table dependencies in pseudo tables

The dependency indicates whether a column of a pseudo table can be null.
Added a few reminders which expressions can be null as well