Added Atom defs from VALLANGS spec