- Fix a bug in select_type.
- Mark the linearity of the function passed to spawn.
- Attempt to encourage the unwrapping of more session types.