Refactor aexp for record-like constructions. No functional changes.