Minor issues currently unimplemented in forward inference

Function with no return type passes with type signature

Parsing index siganture types is broken

NaN implicit conversion in addition

`update_self` fails to compile for more unusual targets

Syntax error while importing `valibot`

Implement class private and public checking

Number-embedded template literal doesn't validate collect

BigInts

Disjoint on object properties and functions