+Restart: reenabled RestartLevelButton +Level: reenabled Level-completion +FactOrganizer: scetch for dynamic LevelGoals, with-> +FactComparer +ShinyThings: TODO: multiple highlited facts at once