Spike: Condition value type coercion spec

The behaviour of the engine needs to be clarified when comparing context values (traits) to segment condition values.

Different languages handle this in different ways, so we need to agree on a set of rules that are not dependent on any specific language implementation.

The goal is to devise test cases that formalise the in-engine type coercion, and a comprehensive user-facing document that details it.

Some of the questions we should have formal answers to, along with draft answers representing the current behaviour:

Q: How is a null context value treated?
A: Engine evaluates to `false` for all operators except `IS_NOT_SET`.

Q: What is the string representation of a Boolean condition value?
A: `'True', 'true', 'False', 'false'`. Numeric values (`1, 0`) are not expected.

Q: How are numeric values compared?
A: Condition value is coerced to context/trait value type.

Q: How are values compared for the In operator?
A: Condition value is coerced to list of strings. Membership check is performed against a string representation of the context/trait value. Boolean context/trait values are skipped (rule evaluated to `false`).
NOTE: This behaviour is deemed problematic due to contradicting the overall logic of coercing segment condition values to trait values, and lack of uniform decimal/float serialisation across different languages.

Q: How are numbers parsed in regards to system locale?
A: Numbers are always parsed with a period as decimal separator, regardless of region or language settings system or process-wise.

#38 is an attempt to formalise the last answer, which sparked a conversation resulting in this issue.

Bắt đầu bằng việc xem xét issue #38 và các câu trả lời dự thảo trong issue này, sau đó xác định các trường hợp cưỡng chế kiểu chưa được giải quyết cần đạt được sự thống nhất. Công việc được xem là hoàn tất khi các quy tắc đã được thống nhất, các trường hợp kiểm thử toàn diện chính thức hóa các quy tắc đó và một tài liệu dành cho người dùng giải thích hành vi resulting.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.