I've just defined the protocol for the User record.
Edited the docstrings of protocol ITweets for explaining the Nullable