Modified add-tcc-conditions* to reverse the antes so they are in the right
order.
1. Fixed set-type* :around (application) to add dom freevars to the
   *tcc-conditions* - o.w. duplicate bindings may be created in tcc-gen
2. Modified compatible-predicates to reverse the incs - partially fixes wrong
   order TCCs.
Better fix for compatible-predicates
1. Fixed typecheck-mappings to use with-current-decl on (lhs mapping) if there
   is no declaration.
2. Fixed visible-modname-resolutions, which was too restrictive.
Fixed subst-mod-params* (type-name)
Minor debugging help