Write up the intro. First few paragraphs still need work

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