Checkpoint. Writing castTyCon in TysPrim.