Added new modules which use free monads to construct the detail trees. Refactor point selection functions are included in PointSelet and Selection modules
Added back file for previous main module