Added experimental typechecking alternative to the C casting macros.