ATL top level semantics
close #175