Cleanup, comments
Comments and type sigs
removes an unused function
Moving things, commenting, removing unused things.
Remove unused binds warning (which was a false positive, really)