Given a value, try to deduce its rich type.
the value to deduce the rich type from
the value's rich type, or RichTypeAny if the type could not be deduced.
Given a value, try to deduce its rich type.