typecheck: Add uid printout to varids