[verifier] Fix constrained type unwrap for enum types. Fixes #18371
[mcs] Use constrained prefix for enum calls too