Remove n from magicn
Remove n from magicn

Backtracking has been significantly reduced.
As a matter of fact, this should almost not be present, but we still
seem to be losing time somewhere…

TheoWinterhalter/formal-type-theory