constants : (string -> term list)
constants `thy`
#constants `combin`;; ["I"; "S"; "K"; "$o"] : term list