intrusibe pointer
implentation og group"
@mkdir
main test
adaptations intrusive pointers
proof intrusive pointers
proof intrusive pointers2
with shared_ptr
wip