Update Introduction to S3.3 "Names"

[DavePearce]

Currently it says

There are four functional entities which can be defined within a Whiley source file:
type declarations (§3.5.2), constant declarations (§3.5.3), function declarations (§3.5.4) and
method declarations (§3.5.5).