Types within Ritter Machine