Fix type validations

[dinoboff]

Targaryen 3 will infer a node type to "any" or "primitive" when it cannot be inferred it and will allow the expression if type validation can be delayed till evaluation. Logical expression (including the unary one) do not allow it; other expression type validation can be delayed.

• Loosen inferring Loosen inferring #64
• == and !== should should compare number, boolean, string, or null == and !== should should compare number, boolean, string, or null  #84
• >, >=, < and <= should compare number and string >, >=, < and <= should compare number and string #85
• Fix handling of arguments with wrong type in snapshot and string methods. Fix handling of arguments with wrong type in snapshot and string methods. #87
• Stricter comparison type inferring Stricter comparison type inferring #88
• Strict boolean unary type inferring Strict boolean unary type infering #89