:@$is(t) $(x) x!type == t
:@$equal(x) $(y) x == y