semantic: Be sure to check nulls in constructor calls once we have type info.