Document `allow_implicit` variable definition argument

[vkarak]

This is currently undocumented.

[vkarak]

This is part of the TypedField signature, so we should document properly the field descriptors.