Update documentation wrt syntax-case.