* [ALEPH6,FIX] Added undeclared setting =maxcover= to the setting declaration.
* [ALEPH6,FIX] Removed undeclared setting =os=. Use =generics(os_ext)= instead.
* [ALEPH6,DOC] Started adding a section on the changes from Aleph5 in the module documentation header.
* [ALEPH6,SC] Call to globally stored setting variables have all been replaced by setting/2 calls.
* [ALEPH6,SC] The setting and unsetting of settings was updated to use library(settings). The problem is that Aleph does some extra calls on setting/unsetting some settings. Therefore the library predicates are currently wrapped in aleph5_X predicates.
* [ALEPH6,FIX] Added another undeclared setting: =autorefine=.
* [ALEPH6,FIX] Added 6 undeclared options.
* [ALEPH6,DOC] Added documentation for copy_modeterms/3.
* [ALEPH6,FIX] Added extra restrictions on setting =best=. This happens because the type =any= is actually too generic for this setting.