Prepared environment for practicing writing Abstract Data Types with automated property-based tests for providing feedback (this version uses an Array for Stack and a doubly-linked list for Queue)