[Proposal]: LiteralType

### Describe the Proposal

Add literal type that would check if passed value is exactly the same type and value.

### API Adjustments

`type_literal(int|float|bool|string $value) : Type`

### Are you intenting to also work on proposed change?


None

### Are you interested in sponsoring this change? 


None

### Integration & Dependencies

_No response_