Fix defrecordp documentation with regards to the type generated