docs: intro/first-program: Expand the Cogent introduction more. (SQUA…

…SH ^{22})

A gentle, step-wise introduction to the `add' function unfolds, where we
build up the language's capabilities piecewise.  Instead of diving into
a polymorphic type definition, let's start with a very simple function,
and build from there.