Refactored. Also fixed a bug in Morton unsnoc.
We no longer need our custom HList.