Initialise config values before using them
After the proof_theorem_types
config option is added, it is necessary to call init_values
before adding the proof directives, otherwise only the directives for the default proof types are added and all user proof types are ignored.