Implicit Automata in Typed Λ-Calculi I: Aperiodicity in a Non-Commutative Logic