Add some tests about range types.

src/types.cc

Index: src/types.cc
diff --git a/src/types.cc b/src/types.cc
index 8e96d86b0926998bc6140525cbe743f0084beb3f..d2bd096a7d5e4e9fcdd5758aedfb4c80760318fe 100644
--- a/src/types.cc
+++ b/src/types.cc
@@ -1046,8 +1046,7 @@ void TypeImpl<Config>::PrintTo(OStream& os, PrintDimension dim) {  // NOLINT
       BitsetType::New(BitsetType::Lub(this))->PrintTo(os, dim);
       os << ")";
     } else if (this->IsConstant()) {
-      os << "Constant(" << static_cast<void*>(*this->AsConstant()->Value())
-         << ")";
+      os << "Constant(" << Brief(*this->AsConstant()->Value()) << ")";
     } else if (this->IsRange()) {
       os << "Range(" << this->AsRange()->Min()->Number()
          << ", " << this->AsRange()->Max()->Number() << ")";