Rewrote the introduction and motivation to be more neutral
Justified some of the syntax according to the SIE criteria