Solving (or rather, testing and proving) the second half of #4, which is preventing Class.Member[] to coexist with Class.Member[][], and to ensure that Class.Member[0] references either.