Implemented downgrading of signatures of global functions

	modified:   ocaml/context.ml
	modified:   ocaml/feature_table.ml
	modified:   ocaml/support.ml