Initialize cxxstdlib set lazily

This is used rarely and only at build-time, so we don't need to create
it when instantiating the formula.