Added some basic notes on close semirings.