Write up abstract to help with the story of the paper

Signed-off-by: Manohar Vanga <mvanga@mpi-sws.org>