removed permutations definition, replaced with import from Data.List
Finished Tilmann's revisions to thesis