Removed excess func_t constructor, the one which takes a Term.