Add constructor for range types.

src/types.cc

Index: src/types.cc
diff --git a/src/types.cc b/src/types.cc
index 3cd349b89b9cfa00693df070c19d623ea2f324d5..db638ed141d604e95ffe7ab9f9099aac0ba34a2d 100644
--- a/src/types.cc
+++ b/src/types.cc
@@ -911,6 +911,11 @@ void TypeImpl<Config>::PrintTo(OStream& os, PrintDimension dim) {  // NOLINT
          << " : ";
       BitsetType::New(BitsetType::Lub(this))->PrintTo(os, dim);
       os << ")";
+    } else if (this->IsRange()) {
+      os << "Range(" << this->AsRange()->Min()
+         << ".." << this->AsRange()->Max() << " : ";
+      BitsetType::New(BitsetType::Lub(this))->PrintTo(os, dim);
+      os << ")";
     } else if (this->IsContext()) {
       os << "Context(";
       this->AsContext()->Outer()->PrintTo(os, dim);