ArtificialCast: Type-safe transformation powered by inference