The ATLA Programming Language