added optional upping of proof level when resolving a problem in a definition