Moving virtual function restrictions.

Added a new clause for derived classes.
Added the new clause to main.
Moved restrictions out of classes.
Adds prohibition against adding constraints to an override.
Fixing reference errors.
Be explicit in editorial comments.
Small update to lambda expressions.

Move the definition of generic lambdas out of its current
paragraph to make it a little more obvious.