Refine Digest

[ksss]

• Should be return bot for methods of abstruct class. Use interface instead.
• The number of arguments of Digest::Class methods cannot be determined because they are delegated to the inherited initialize.
• Fix some types.

Good points

• Become a more accurate signatures.

Bad points

• Comments are effectively lost because annotations cannot be automatically written on the interface.