A simple type provider designed to illustrate infinite type systems as seen in the blog post http://wp.me/p3Xn63-2A