Type Providers with FK feature implemented