Standard terms

A standard term is either a simple term (an integer, a character, a symbol or a variable as defined in most Prolog) or a term f(t1,...,tN) where ti is a term. Note that floats are not yet implemented and that chars are not implemented as a subset of integers (but as a proper type).