Describir: Machines, Computations, and Universality