Use better types to represent time periods

[mbg]

This PR changes wai-rate-limit to use time-units and servant-rate-limit to use time-units-types in order to:

• Replace Integer with the more specific Second type.
• Allow different time units to be used in type-level specifications.