avoid `null_pos` because that's not good for debugging
change structure of context content
initial crude null checker
pass through @:analyzer expression meta
move `is_explicit_null` to type.ml
consider some control flow for the condition checker
continue terminates too
do not use the checker yet