Added Theory of Arrays with translation, to the SetImpl project.