The aMux multiplexer circuit was updated to leverage halfFst and halfSnd tuple selectors instead of the standard fst and snd functions. This refactoring establishes a consistent data access pattern across the module, bringing the base aMux implementation into alignment with wider multiplexers like aMux2 and aMux3. By standardizing these definitions, the Arrow-based circuit structures remain consistent and easier to build upon.