NiceAtoms
Casting
Forcing