Add array implementation + contract testcase.