Motivation and goals.
Intro finished with notes, results and future work now
Added results, now have to do future work and choice of EDSLs
Future work described