ToString added on hol_type, term, thm
ToString added on term_label, net
unit test for enter function