Stricter data types

This sets data types for most parameters that previously had none. It
also moves static defaults from params.pp to inline. While this
duplicates a few between Redis and the sentinel, the user would already
need to know these were linked. The benefit is a much more readable
reference documentation.