Further document syntax.

Added sections on definitions and types.