swift234

Add a more strict check for conversions between metatypes.

Now it is more inline with the check performed by the verifier.