The Avail Programming Language