Fix prooflabels and reflinks
Add list support to markup