Partially implement some typing types

[herczy]

The following types are implemented from the typing module:

• typing.Union
• typing.Optional
• typing.Callable (without signature checking)