most of lock-free linked list typechecks with some useful rely relations