File ISO 8.16 atoms

1 Predicate atom_length/2