Refocus abstract
Pass abstract
pass abstract
Adapting intro
Authors
Pass in intro, shrinking a bit
Intro
Pass on retrofit. Removed Mini-ES and clarify a bit what the embedding provides, i.e., a semantics which guarantees target language programs to be monitored
nit on abstract
Remove section about isomorphism and proofs
remove Haskell and C explanations
Add todo for Deian in real and rephrase a bit the intro to the section
Pass on extensions