added preliminary support for replacing special symbols in terms with values from a list of arguments