Rather than operating on primitive scalar types only, allow coercions between surface (tuple) types. This may fail at runtime to find an appropriate coercion. The `bitcast` operation remains limited to simple scalar types with type-level size check.

fixes AccelerateHS/accelerate#392