[axioms] refine external dependencies

Builtins and externals shall be considered carefully.

• all parameters that are builtin or external shall be reviewed (abstract or defined)
• witnessed axioms shall not be reviewed
• module hypotheses shall be witnessed or externalized or realized or builtin

Necessary reviews shall be reported along proof certificates.