Replace nil with Σ# []

[SquidDev]

Ian has pointed out that technically we could represent nil with the empty choice instead, and so effectively remove a whole construct. They're both species which have no transitions, and so this should be perfectly safe.