Convert some types to tcl