[spec2] explicate qualifies local bindings also defined in context namespace

Description

The new explicate-function in alpha.spec fully qualifies local bindings in a given form, when they are also defined as top-level forms in the context namespace.

For example:

Environment

None

Assignee

Unassigned

Reporter

Adrian Bendel

Labels

Approval

None

Patch

None

Priority

Major
Configure