More support for alternation in Guppy (incomplete).