calculus2: STS Unavailable

calculus2 defines the following Names, but STS signatures are not currently available.