Fix breaking introduction of variable in Semiring.Primality#2774

MatthewDaggitt merged 1 commit intomasteragda/agda-stdlib:masterfrom

fix-variableagda/agda-stdlib:fix-variableCopy head branch name to clipboard