Explicit return types etc.

v0.3.0-M1.
Updated README.