Added a new definition doc for notes on the normal form heirarchy