Types within Poreba Machine