Refactored 'typer.ml'

Extracted the module 'Accu' into the module 'Term_builder'.

	new file:   term_builder.ml
	new file:   term_builder.mli
	modified:   typer.ml