Implement Domini.Maquina and add tests.