ir: Add type member to AssocArray
semantic: More AA stuff to be rebased