Related to idris-lang/Idris2#548.

The PR linked above adds `Cast` implementations for `BitsN` types. These
implementations use primitive functions which are not available in
Iris2-boot. This commit adds these functions as a stub to make the Prelude
in Idris2 compile again.