Type checking in explicit casts: implement

[jlapeyre]

For example,
this should error (eg with IncompatibleTypesError) but it does not

const float[64] f1 = 2.5;
bit[32](f1);