New syntax to disallow narrowing conversion as in C++

I think this post might benefit from being merged with the with the F202Y discussion
See:
Kickstarting proposals for F202Y features