trying to addinto the main branch, but difficulties with 'genericity' of the tree- how to getHole of the right type?