LinkedList module for temporal logic

Hi everyone,

I would like to share a linked list implementation for temporal logic with you. Maybe someone can use it for himself, develop it further or improve it.
It supports basic list functions.

The number of checks can be expanded ;).

One problem with the current implementation is that a list cannot contain the same object twice. A possible solution can be found in the comments of the code.
For my use case the list worked great like this.

How is it related to the standard lib modules for sequences (sequence, seqrel and sequniv, the latter working with the seq keyword)?