a few builtin predicates
term_of_string