fixing things to work with recursive List type

including switched bind/polymorph to have TypeSpecs instead of ModSym
fix a few bugs in function dispatch
add support for polymorphic behavior on lists

functions that take lists with type variables now work in the basic case.
also added a test for the listprint.uqb program.