I think the documentation of \prop_get:NN in l3prop is wrong.
It says that <info> of \prop_get:NN is assigned to a <tlp>,
but actually it is assigned to a <toks>.

The same applies to \prop_get_gdel:NNN.


Ciao
Andreas