Update docuemnts for persistable proof objects.
Update docuemnts for conversion info to SQL proof objects.
Update docuemnts for persistable proof objects.
Fix spelling of documents.
Update docuemnts of proof objects for convertion into SQL type.