formalism: Replace "markless" judgement(s) with "marked" judgment(s)#12

mirryi wants to merge 5 commits intomasterhazelgrove/error-localization-agda:masterfrom

marked-judgmenthazelgrove/error-localization-agda:marked-judgmentCopy head branch name to clipboard