Add types in code documentary

This is useful for modern IDEs to provide code completion.