Leaner implementation of type provider.

* Root type comes from generated assembly as well now.
This makes it trivial to implement methods on a root type.