Clear current version to rewrite with unit testing
First testcase: ArrayType.DeclareEmptyArray
ArrayType.DeclareEmptyArray: add empty() function