Document and verify option value types using typing

[sebschrader]

Currently we're using our own logic to document and verify the types of option values. The base type is specified using the type attribute of Option subclasses and more complex types, such as sequences and mappings are handled by custom checkers in the hades.config.check module.

We can switch to the types provided by the typing module to fully document the types and use a runtime checker, such as typeguard to verify the values.