Connectors for syntax to state
Remove overlay promise type, in favour of reserved array
Consolidate routes promises and flesh out the bodies
Add verify_{networks,interfaces}.[ch]
Renaming routing to networking
Syntax tweaks
Don't forget STP
Bind new promise types
Corrections and debug code for actuation
Save state of mockup
Homing in on the semantics
Implement IP address setting
Basic routing / network skeleton
Add static routing
Checkin - more interface improvements.

Moved interface/VLAN info functions and typedefs.
Support sequence interfaces.
Mark Linux-specific code as such.
More incremental experimentation and progress
Tidying and checkpoint
Patches checkpoint
Add extra state during interface discovery
Full proposal for interfaces