Updated reference kinds with non-recursive example

Changed the example of reference kinds to avoid using a recursive example. Also, moved the table summarizing the annotations to another section, including reference types.