Add a few comments from SPJ on fixity declarations