handbook/language: clarify how varieties fit into the type system

[rogpeppe]

The type system description doesn't say whether a variety type can be part of option, sequence or struct types.

Likewise, the unification description does not seem to say how variety types fit within the unification algorithm,