Against the definition of types

This paper has been published in the Proceedings of Onward! Essays 2015 and so it is no longer a draft. This page has been moved to published papers section.