Attempt at deprecating inspect idiom#1630

MatthewDaggitt wants to merge 2 commits intomasteragda/agda-stdlib:masterfrom

deprecate-inspectagda/agda-stdlib:deprecate-inspectCopy head branch name to clipboard