Updated data type & operation signature + traceability matrix, UI design & implementation, and design of tests to include UC7,8,9