Improve readability for unimplemented feature from eg_particle_simulation.e
Replace FIXME with justification for eg_simple_link.e
Remove invariant duplication for eg_particle_simulation_bh.e
Make quad_tree type attached in order to conform to invariant.
Imply algorithm changes
Improve `traverse_tree' algorithm and check statement.