nixos/doc: add `types` prefix to `addCheck` example

The function `addCheck` resides within the attrset `types`. We should be
explicit about this since otherwise people might be confused where it
does come from / why it doesn't work for them.