Add initial prose for define/contract in the Guide

This commit adds a few sections that explain some of
the subtleties of nested contract boundaries.