Millaisia erityyppisiä merkintäteorioita on olemassa?