Deductum: Level names added

Levels with a more or less well known name will show the name at the top