Types confusion #8
Description
The current type system combines both the types that PHP says they have and a more comprehensive complicated type system that feels more like a combination between an immature PHPDoc type system and a Psalm-like constraint system.
The issue is that they should be separate, and one should be able to convert from one to another, but you aren't.
The solution is to separate these type systems: we initially convert from text to the PHP system, then we try to resolve to our internal type system, and finally, we try to resolve it with constraints. This being rust, we would probably want to separate this into its own crate.