Genero: Machine Theory