Definitions for "Hterm"
A Hilog term, generalizing Atom and Cterm. (See: holog module, and the SWSL submission to the W3C)