we now parse properly the atoms table
implemented objects for proper translation to alloy