type_in_type : (type -> type -> bool)
#type_in_type ":num" ":num # bool";; true : bool #type_in_type ":num" ":(num)list";; true :bool #type_in_type ":bool" ":num + bool";; true : bool