Update documents for general single field record.
Update document for singleton.
Update documents for single field instances.
Update data definition to avoid record update.
Add document for table constraint proof object.
Update document about unsafe functions.
Update package description.
Add outline document for integrated module.
Update document.
Update docuemnts of proof objects for convertion from SQL type.
Update document for integrated usage.
Update document. Add concepts section.