int/atom union, atom pointer "equivalence", #include fixup

NaN boxing looks neat, but we don't need it now.