Bump dev version
Start annotating/checking implementation.