add type name to tydesc + minor repr improvement

It would likely be much saner for `repr` to simply be passed the `TyDesc` corresponding to the function in `visit_enter_fn` and print out the name directly.