ArrayType.DeclareEmptyArray: Do not support multidimensional array yet
Add unit test: ArrayType.DeclareArrayWithSize
ArrayType.DeclareArrayWithSize: add size() function