type_in : (type -> term -> bool)
#type_in ":num" "5 = 4 + 1";; true : bool #type_in ":bool" "5 = 4 + 1";; true : bool #type_in ":(num)list" "SUC 0";; false : bool