details
use hashconsing for terms. A term table has to be provided to build basic terms (optional
arg with default table).