Better typing and type verification

src/types.cc

Index: src/types.cc
diff --git a/src/types.cc b/src/types.cc
index 307dc9166c21049c7d50cc767d2d8acfcd4a7d8f..4de367a2cbd3a3a0de05f6d3d6cfb752b3a78509 100644
--- a/src/types.cc
+++ b/src/types.cc
@@ -247,6 +247,7 @@ TypeImpl<Config>::BitsetType::Lub(i::Map* map) {
     case SHARED_FUNCTION_INFO_TYPE:
     case ACCESSOR_PAIR_TYPE:
     case FIXED_ARRAY_TYPE:
+    case BYTE_ARRAY_TYPE:
     case FOREIGN_TYPE:
     case CODE_TYPE:
       return kInternal & kTaggedPtr;
@@ -436,6 +437,7 @@ bool TypeImpl<Config>::SlowIs(TypeImpl* that) {
             Contains(that->AsRange(), *this->AsConstant()->Value()));
   }
   if (this->IsRange()) return false;
+
   return this->SimplyEquals(that);
 }