Added missing DataStructures to REQUIRE