Allow dotted atoms everywhere but in record expressions

Dotted atoms were mandatory when package syntax support was still in
the repository. They went away with them even though it was useful to
write unquoted fully-qualified node names. This commit restores them
and allows them everywhere in the syntax but record expressions,
where it would be ambiguous.