paper: updates.
Paper.hs: formatting.
paper: implementation and usage.
matchShape: wibbles.