Make definition of type NULL somewhat more efficient, hopefully.