Which types are supported in conditional expressions' conditions in rocq? why? which values are truthy/falsy?

Rocq Programming Language