Made prolog:translate_bindings/3 module-aware.
Module is already flagged temporary
Flag assertion/1 as safe meta predicate.
Consider M:G calls safe if they call an explicitly safe-marked predicate.
Improve debugging
Safe declarations for record-type validation.
Updated pengines.