Increase max concurrent flows to 1M.

Relates #51.
Mention Docker integration.
Enhance types with attributes.

Attributes represent key-value pairs that can be attached to a type. They are
part of the type signature and thus have an effect on type equality.

Relates #52.