Introduce Val::Object, make it the top type

This re-establishes Val::Object, but this time as the kind of
empty type that goes at the top of a type hierarchy.

As a consequence, "everything is an Object", which right now is
hard-coded into the ~~ and !~~ operators.

In the fullness of time, we'll instead code it into the type
hierarchy itself, so that a special case is not needed.

Closes #144.

lib/_007/Builtins.pm6

@@ -149,7 +149,7 @@ my @builtins =
         sub ($lhs, $rhs) {
             assert-type(:value($rhs), :type(Val::Type), :operation<~~>);
 
-            return wrap($lhs ~~ $rhs.type);
+            return wrap($rhs.type ~~ Val::Object || $lhs ~~ $rhs.type);
         },
         :qtype(Q::Infix),
         :precedence{ equiv => "infix:==" },
@@ -158,7 +158,7 @@ my @builtins =
         sub ($lhs, $rhs) {
             assert-type(:value($rhs), :type(Val::Type), :operation<!~~>);
 
-            return wrap($lhs !~~ $rhs.type);
+            return wrap($rhs.type !~~ Val::Object && $lhs !~~ $rhs.type);
         },
         :qtype(Q::Infix),
         :precedence{ equiv => "infix:==" },

lib/_007/Val.pm6

@@ -63,6 +63,15 @@ class Val::None does Val {
 
 constant NONE is export = Val::None.new;
 
+### ### Object
+###
+### The top type of 007. A featureless object. Everything inherits from this type.
+class Val::Object does Val {
+    method truthy {
+        True
+    }
+}
+
 ### ### Bool
 ###
 ### A type with two values, `true` and `false`. These are often the result
@@ -583,6 +592,7 @@ class Val::Exception does Val {
 class Helper {
     our sub Str($_) {
         when Val::None { "none" }
+        when Val::Object { "<object>" }
         when Val::Bool { .value.lc }
         when Val::Int { .value.Str }
         when Val::Str { .value }

t/features/types.t

@@ -74,4 +74,14 @@ use _007::Test;
         "Q is a built-in type (#201)";
 }
 
+{
+    outputs 'my o = new Object {}; say(o); say(type(o))', "<object>\n<type Object>\n",
+        "can create a new Object";
+}
+
+{
+    outputs 'for [42, [], "", Int, Array, Type, Object] -> x { say(x ~~ Object) }', "true\n" x 7,
+        "everything is an object";
+}
+
 done-testing;