1. Remove superfluous Aleph code. 2. Better settings handling for Aleph.

* [ALEPH6,SC] Use library(settings) for settings (including default values, description labels, and type checking).
* [ALEPH6,SC] Replaced many custom predicates with equivalents from
library(dialect/hprolog) and library(lists).