semantic: handle Union in ensureResolved
rt: AAs fully implemented