On the Implementation of Purely Functional Data Structures for the Linearisation case of Dynamic Trees