Zorokee/ArtificialCast: Type-safe transformation powered by inference