Fix typechecking of andmap/ormap on dotted lists.
Minor cleanup on app of list.
Make tc-literal tests actually include all of the tests.
Make a subst-tc-results.
Move replace-names from tc-metafunctions to tc-subst.