Better typing and type verification

src/types-inl.h

Index: src/types-inl.h
diff --git a/src/types-inl.h b/src/types-inl.h
index f102ae3e137ad6c50ee4afc15c4309041b55fde7..004c98b3f6d4c083766c0bea038e21f38aaea45b 100644
--- a/src/types-inl.h
+++ b/src/types-inl.h
@@ -56,6 +56,13 @@ bool TypeImpl<Config>::NowContains(i::Object* value) {
 
 // static
 template<class T>
+T* ZoneTypeConfig::null_handle() {
+  return NULL;
+}
+
+
+// static
+template<class T>
 T* ZoneTypeConfig::handle(T* type) {
   return type;
 }
@@ -198,6 +205,13 @@ void ZoneTypeConfig::struct_set_value(
 
 // static
 template<class T>
+i::Handle<T> HeapTypeConfig::null_handle() {
+  return i::Handle<T>();
+}
+
+
+// static
+template<class T>
 i::Handle<T> HeapTypeConfig::handle(T* type) {
   return i::handle(type, i::HeapObject::cast(type)->GetIsolate());
 }