Boostrap: introduced Nop node
Show type trace for all types, not only nil