Added a few comments for the Stateful interface and the StatefulTrait