declaration.ml renamed to signature.ml