Some preparations and refactorings for feature inheritance

	modified:   class_table.ml
	modified:   class_table.mli
	modified:   context.ml
	modified:   context.mli
	modified:   feature_table.ml
	modified:   feature_table.mli
	modified:   term_builder.ml
	modified:   term_builder.mli