Declaration signatures

[david-christiansen]

Describe signatures, including the following topics:

• Explicit, implicit, instance-implicit, and strict implicit parameter binders (perhaps by xref to functions section)
• Automatic implicits
• Argument names and by-name syntax
• Which parts can be omitted where? Why?