Runtime: remove now useless typechecking/convertion

2023-07-20, Edouard Tisserant