Add declarative example.
Add procedural examples and their evolution.