[WIP] Supporting non array subclasses

The support (and test) for y being not an array subclass is implemented, but I still need to work on X.
What interface is that?