Fix various bugs in the type systems, and improve test coverage.

src/types.h

Index: src/types.h
diff --git a/src/types.h b/src/types.h
index 0161582e2023854f45076f9ebb1e817d3e8a4f74..19eb275a02c71a3ebbb10ad3705c572df7eff3ca 100644
--- a/src/types.h
+++ b/src/types.h
@@ -154,7 +154,7 @@ namespace internal {
   V(Receiver,            kObject | kProxy)                              \
   V(NonNumber,           kBoolean | kName | kNull | kReceiver |         \
                          kUndefined | kInternal)                        \
-  V(Any,                 kNumber | kNonNumber)
+  V(Any,                 -1)
 
 #define BITSET_TYPE_LIST(V) \
   MASK_BITSET_TYPE_LIST(V) \
@@ -297,6 +297,10 @@ class TypeImpl : public Config::Base {
   void TypePrint(PrintDimension = BOTH_DIMS);
   void TypePrint(FILE* out, PrintDimension = BOTH_DIMS);
 
+  bool IsInhabited() {

[rossberg, 2014/04/09 10:56:56]

Nit: move this up to line 222

[Benedikt Meurer, 2014/04/09 11:12:26]

Done.

+    return !this->IsBitset() || IsInhabited(this->AsBitset());
+  }
+
  private:
   template<class> friend class Iterator;
   template<class> friend class TypeImpl;