ir: Add type member to AssocArray
semantic: Implement AAs