Some fixes for the for-users/introduction/definitions documention

* Corrected the for-users/type link
* Double backslashed the namespaced FQSEN example