Well, your question is right.
In the compile mode, there are `.smi` files so signatures is not needed.

I think, signatures is useful for normal program, ex. REPL.
But in this project, I remove signatures.