Use proper type declarations for custom variables

This makes it possible to edit `pretty-symbol-patterns` and
`pretty-symbol-categories` through `M-x customize`.