do not drop 'redundant' type casts during optimisation, as the user may have had a reason to be explicit about them