Updates demos to syntax defined in (sarl/sarl#4)