A tool to add missing type signatures to top-level operations in a Curry module