Support conditional JSX element types

[benStre]

Example: <input type="number"/> should only allow values of type number/bigint.
The contraints must be correctly propagated to the jsx element definitions without collapsing the individual attributes to union types.