Rename alphaLeanTAP auxiliary functions.

Rename alphaLeanTAP auxiliary functions to match William Byrd's
"Relational Programming in miniKanren: Techniques, Applications, and
Implementations".
Cleanup namespace declarations.

Namespace declarations are modified to remove any unnecessary
components, and USE clauses are converted to REQUIRE clauses with
imported symbols explicitly identified.
Remove unnecessary DECLARE statement.