Fix: Expansion of constant definitions

Definition of constants (i.e. functions without arguments) are expanded
by just replacing the function id with its defintion without generating
a lambda term.

	modified:   ocaml/feature_table.ml
	modified:   ocaml/term.ml