Allow dotted atoms everywhere but in record expressions

Dotted atoms were mandatory when package syntax support were 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.