Making cast types mutable-parametric + tests