Merge pull request #115 from amirsh/tp-working

Type Providers (revised!)