Use $styx$isa instead of instanceof

instanceof doesn't work with non-objects like numbers.