Added some examles for objects and records
example formal/informal docs