⍷: more tests and fixed the case for empty arrays
implemented ⊂