expand interesting properties and motivations section at start
reduce emphasis on evaluation concept
considering swap arguments for operator `o`