Title: ASL: a proposed variant of SETL (preliminary)