make compile_print_vals not polymorphic

and hopefully that means compile_top won't be polymorphic either. the
polymorphism came from the map passed in from the type inferencer which
contains the number of free type variables which we ignore (hence the
:num had been :'a).