Revised casting rules: we are not able to make a judgement as to the legality of a cast in the typing module