Merge proposals dependent on lp:~cjwatson/storm/syntax-warnings

lp:~cjwatson/storm/syntax-warnings has no merge proposals.