Text this: Módulo de unificación aritmética pre-hamburguesa y otras teorías decidibles