I don't really know why John added these operators.  "= ANY" is official and works fine.  He added "<@" as a shortcut for that, but it doesn't support uuid <@ uuid[] unless we add it.  This is no different from our text <@ text[] operator.