Use proper type declarations for custom variables

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