core-spec.pdf contains parse errors
After commit 2fbe0b51,
core-spec.pdf now contains several gnarly looking parse errors (which I'll attach screenshots of separately). This is because
nth coercion typing rule was extended to take a role as an argument, but the uses of
nth in the
S_CasePush rules were never updated to reflect this.