Added procedure flag into Sign.t

	modified:   ocaml/signature.ml
Used 'type_term' instead of 'term' if the term describes a type

	modified:   ocaml/class_table.ml