Fixed typos: abstract, and caption of figure 1
(we're all) submitted to arxiv - changed cref to autoref, added mathpartir