Rafał Piotrowski - New types as solution to primitive obsession